diff options
Diffstat (limited to 'usr/src/uts/i86pc/boot/boot_mmu.c')
| -rw-r--r-- | usr/src/uts/i86pc/boot/boot_mmu.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/usr/src/uts/i86pc/boot/boot_mmu.c b/usr/src/uts/i86pc/boot/boot_mmu.c index 6c7622f4e1..e652bb728d 100644 --- a/usr/src/uts/i86pc/boot/boot_mmu.c +++ b/usr/src/uts/i86pc/boot/boot_mmu.c @@ -33,6 +33,9 @@ #include <sys/param.h> #include <sys/machparam.h> #include <sys/mach_mmu.h> +#ifdef __xpv +#include <sys/hypervisor.h> +#endif #ifdef _BOOT #include <dboot/dboot_printf.h> |