1 files changed, 2 insertions, 1 deletions
diff --git a/pk/mmap.h b/pk/mmap.h
index 7e68777..949b9a7 100644
--- a/pk/mmap.h
+++ b/pk/mmap.h
@@ -22,10 +22,11 @@
 #define MREMAP_FIXED 0x2
 
 extern int demand_paging;
+extern uint64_t randomize_mapping;
+
 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);
-void __map_kernel_range(uintptr_t va, uintptr_t pa, size_t len, 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);
 uintptr_t do_mmap(uintptr_t addr, size_t length, int prot, int flags, int fd, off_t offset);