pmap_kenter
pmap_kenter((vm_offset_t)ptvmmap, v);
pmap_kenter((vm_offset_t)msgbufp + off, avail_end + off);
pmap_kenter((vm_offset_t)msgbufp + off, avail_end + off);
pmap_kenter(va, boot_address);
pmap_kenter((vm_offset_t)pmap->pm_pml4,
pmap_kenter((vm_offset_t)pmap->pm_pml4_iso,
pmap_kenter((vm_offset_t)msgbufp + off, avail_end + off);
pmap_kenter((vm_offset_t)pmap->pm_pml4, VM_PAGE_TO_PHYS(ptdpg));
void pmap_kenter (vm_offset_t, vm_paddr_t);
pmap_kenter(zkva, VM_PAGE_TO_PHYS(m));