L2_PDE
L2_PDE((vm_paddr_t)l3, PTE_V));
pmap_store(&kern_l2[slot], L2_PDE(pa, PTE_V));
pmap_store(&devmap_l2[slot], L2_PDE(pa, PTE_V));