diff options
Diffstat (limited to 'extras/mini-os/arch/x86/mm.c')
-rw-r--r-- | extras/mini-os/arch/x86/mm.c | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/extras/mini-os/arch/x86/mm.c b/extras/mini-os/arch/x86/mm.c index 723fc567e9..8d688fc25a 100644 --- a/extras/mini-os/arch/x86/mm.c +++ b/extras/mini-os/arch/x86/mm.c @@ -34,12 +34,12 @@ * DEALINGS IN THE SOFTWARE. */ -#include <os.h> -#include <hypervisor.h> -#include <mm.h> -#include <types.h> -#include <lib.h> -#include <xmalloc.h> +#include <mini-os/os.h> +#include <mini-os/hypervisor.h> +#include <mini-os/mm.h> +#include <mini-os/types.h> +#include <mini-os/lib.h> +#include <mini-os/xmalloc.h> #include <xen/memory.h> #ifdef MM_DEBUG |