diff options
Diffstat (limited to 'kern/ipc_mig.c')
| -rw-r--r-- | kern/ipc_mig.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kern/ipc_mig.c b/kern/ipc_mig.c index 72750ef..9070d33 100644 --- a/kern/ipc_mig.c +++ b/kern/ipc_mig.c @@ -46,6 +46,7 @@ #include <ipc/ipc_port.h> #include <ipc/ipc_pset.h> #include <ipc/ipc_thread.h> +#include <device/dev_hdr.h> #include <device/device_types.h> |