diff options
Diffstat (limited to 'extras/mini-os/gnttab.c')
-rw-r--r-- | extras/mini-os/gnttab.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/extras/mini-os/gnttab.c b/extras/mini-os/gnttab.c index 9b350523d5..ebfa8ac554 100644 --- a/extras/mini-os/gnttab.c +++ b/extras/mini-os/gnttab.c @@ -15,10 +15,10 @@ * **************************************************************************** */ -#include <os.h> -#include <mm.h> -#include <gnttab.h> -#include <semaphore.h> +#include <mini-os/os.h> +#include <mini-os/mm.h> +#include <mini-os/gnttab.h> +#include <mini-os/semaphore.h> #define NR_RESERVED_ENTRIES 8 |