L1_PDE
L1_PDE((vm_paddr_t)l2, PTE_V));
L1_PDE((vm_paddr_t)l2, PTE_V));
L1_PDE((vm_paddr_t)l2, PTE_V));
L1_PDE((vm_paddr_t)l2, PTE_V));
pmap_store(&l1[slot], L1_PDE(pa, PTE_V));
pmap_store(&l1[slot], L1_PDE(pa, PTE_V));