Add -p flag to pk to disable demand paging

1 files changed, 1 insertions, 1 deletions

diff --git a/pk/mmap.h b/pk/mmap.h
index 3fc3186..f4f39f5 100644
--- a/pk/mmap.h
+++ b/pk/mmap.h
@@ -19,7 +19,7 @@
 #define MAP_POPULATE 0x8000
 #define MREMAP_FIXED 0x2
 
-extern int have_vm;
+extern int demand_paging;
 uintptr_t pk_vm_init();
 int handle_page_fault(uintptr_t vaddr, int prot);
 void populate_mapping(const void* start, size_t size, int prot);