PMAP_KERNEL_PTE
l3pte = PMAP_KERNEL_PTE(sva);
pte = PMAP_KERNEL_PTE(va);
pt_entry_t * const pte = PMAP_KERNEL_PTE(va);
pte = PMAP_KERNEL_PTE(va);
pte = PMAP_KERNEL_PTE(v);
pt_entry_t * const pte = PMAP_KERNEL_PTE(vaddr);