1 files changed, 2 insertions, 0 deletions
diff --git a/pk/mmap.h b/pk/mmap.h
index 949b9a7..1ea2623 100644
--- a/pk/mmap.h
+++ b/pk/mmap.h
@@ -22,10 +22,12 @@
 #define MREMAP_FIXED 0x2
 
 extern int demand_paging;
+extern int have_hypervisor;
 extern uint64_t randomize_mapping;
 
 uintptr_t pk_vm_init();
 int handle_page_fault(uintptr_t vaddr, int prot);
+int handle_guest_page_fault(uintptr_t vaddr);
 void populate_mapping(const void* start, size_t size, int prot);
 int __valid_user_range(uintptr_t vaddr, size_t len);
 uintptr_t __do_mmap(uintptr_t addr, size_t length, int prot, int flags, file_t* file, off_t offset);