diff options
Diffstat (limited to 'extras/mini-os/include/x86/x86_64/hypercall-x86_64.h')
-rw-r--r-- | extras/mini-os/include/x86/x86_64/hypercall-x86_64.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/mini-os/include/x86/x86_64/hypercall-x86_64.h b/extras/mini-os/include/x86/x86_64/hypercall-x86_64.h index 179b776ed5..32ea5bd611 100644 --- a/extras/mini-os/include/x86/x86_64/hypercall-x86_64.h +++ b/extras/mini-os/include/x86/x86_64/hypercall-x86_64.h @@ -36,7 +36,7 @@ #include <xen/xen.h> #include <xen/sched.h> -#include <mm.h> +#include <mini-os/mm.h> #define __STR(x) #x #define STR(x) __STR(x) |