diff options
author | Flavio Cruz <flaviocruz@gmail.com> | 2023-01-17 23:56:04 -0500 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-01-19 00:55:04 +0100 |
commit | 2029728ed6d2a88350be945a892d325aebc2eb8d (patch) | |
tree | 5cdae89a531f8d10e08b39491c7c8e64cff3f9b0 /kern/task.c | |
parent | fc6bcf785b702e7e8a675ea0fe9856cc1b24b8f6 (diff) | |
download | gnumach-2029728ed6d2a88350be945a892d325aebc2eb8d.tar.gz gnumach-2029728ed6d2a88350be945a892d325aebc2eb8d.tar.bz2 gnumach-2029728ed6d2a88350be945a892d325aebc2eb8d.zip |
Include mig generated headers to avoid warnings with -Wmissing-prototypes.
This also reverts 566c227636481b246d928772ebeaacbc7c37145b and
963b1794d7117064cee8ab5638b329db51dad854
Message-Id: <Y8d75KSqNL4FFInm@mercury.tail36e24.ts.net>
Diffstat (limited to 'kern/task.c')
-rw-r--r-- | kern/task.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/kern/task.c b/kern/task.c index d5bd14c2..6bd50983 100644 --- a/kern/task.c +++ b/kern/task.c @@ -44,7 +44,10 @@ #include <kern/task.h> #include <kern/thread.h> #include <kern/slab.h> +#include <kern/gnumach.server.h> #include <kern/kalloc.h> +#include <kern/mach.server.h> +#include <kern/mach_host.server.h> #include <kern/processor.h> #include <kern/printf.h> #include <kern/sched_prim.h> /* for thread_wakeup */ |