diff options
Diffstat (limited to 'extras/mini-os/gntmap.c')
| -rw-r--r-- | extras/mini-os/gntmap.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/extras/mini-os/gntmap.c b/extras/mini-os/gntmap.c index abbd91ab33..22ed450c8c 100644 --- a/extras/mini-os/gntmap.c +++ b/extras/mini-os/gntmap.c @@ -30,12 +30,13 @@ * DEALINGS IN THE SOFTWARE. */ -#include <os.h> -#include <xmalloc.h> +#include <mini-os/os.h> +#include <mini-os/lib.h> +#include <mini-os/xmalloc.h> #include <errno.h> #include <xen/grant_table.h> #include <inttypes.h> -#include "gntmap.h" +#include <mini-os/gntmap.h> #define DEFAULT_MAX_GRANTS 128 |