L2_PTE
pmap_store(&l2[l2slot], L2_PTE(pa, PTE_KERN | memattr));
L2_PTE(pa, PTE_KERN | PTE_X | memattr));