pmap: add get_kernel_pmap()

arch/x86_64/pmap.c

@@ -222,6 +222,11 @@ static kern_status_t do_pmap_add(pmap_t pmap, void *p, pfn_t pfn, vm_prot_t prot
 	return KERN_OK;
 }
 
+pmap_t get_kernel_pmap(void)
+{
+	return kernel_pmap;
+}
+
 void pmap_bootstrap(void)
 {
 	can_use_gbpages = gigabyte_pages();

include/socks/pmap.h

@@ -18,6 +18,7 @@ typedef enum pmap_flags {
 } pmap_flags_t;
 
 extern void pmap_bootstrap(void);
+extern pmap_t get_kernel_pmap(void);
 
 extern pmap_t pmap_create(void);
 extern void pmap_destroy(pmap_t pmap);