diff options
Diffstat (limited to 'extras/mini-os/mm.c')
-rw-r--r-- | extras/mini-os/mm.c | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/extras/mini-os/mm.c b/extras/mini-os/mm.c index a5338b0053..743d45d051 100644 --- a/extras/mini-os/mm.c +++ b/extras/mini-os/mm.c @@ -34,13 +34,13 @@ * DEALINGS IN THE SOFTWARE. */ -#include <os.h> -#include <hypervisor.h> +#include <mini-os/os.h> +#include <mini-os/hypervisor.h> #include <xen/memory.h> -#include <mm.h> -#include <types.h> -#include <lib.h> -#include <xmalloc.h> +#include <mini-os/mm.h> +#include <mini-os/types.h> +#include <mini-os/lib.h> +#include <mini-os/xmalloc.h> #ifdef MM_DEBUG #define DEBUG(_f, _a...) \ |