pmap_kenter_pde
pmap_kenter_pde(va, newpde);
pmap_kenter_pde(va, newpde);
pmap_kenter_pde(va, newpde);
pmap_kenter_pde(kernel_vm_end, newpdir);
pmap_kenter_pde(va, newpde);
pmap_kenter_pde(va, newpde);
static void pmap_kenter_pde(vm_offset_t va, pd_entry_t newpde);
pmap_kenter_pde(va, PG_PROMOTED | PG_PS | newpde);