summaryrefslogtreecommitdiff
path: root/device
diff options
context:
space:
mode:
Diffstat (limited to 'device')
-rw-r--r--device/device_init.c4
1 files changed, 4 insertions, 0 deletions
diff --git a/device/device_init.c b/device/device_init.c
index 1da2a6f..e43a2a9 100644
--- a/device/device_init.c
+++ b/device/device_init.c
@@ -33,6 +33,7 @@
#include <ipc/ipc_space.h>
#include <kern/debug.h>
#include <kern/task.h>
+#include <xen/xen.h>
#include <device/device_types.h>
#include <device/device_port.h>
@@ -57,6 +58,9 @@ device_service_create()
panic("can't allocate master device port");
mach_device_init();
+#ifdef MACH_HYP
+ hyp_dev_init();
+#endif
dev_lookup_init();
net_io_init();
device_pager_init();