diff options
Diffstat (limited to 'extras/mini-os/hypervisor.c')
-rw-r--r-- | extras/mini-os/hypervisor.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/extras/mini-os/hypervisor.c b/extras/mini-os/hypervisor.c index dad8b59609..b4688a059a 100644 --- a/extras/mini-os/hypervisor.c +++ b/extras/mini-os/hypervisor.c @@ -25,9 +25,10 @@ * DEALINGS IN THE SOFTWARE. */ -#include <os.h> -#include <hypervisor.h> -#include <events.h> +#include <mini-os/os.h> +#include <mini-os/lib.h> +#include <mini-os/hypervisor.h> +#include <mini-os/events.h> #define active_evtchns(cpu,sh,idx) \ ((sh)->evtchn_pending[idx] & \ |