PMAP_SAN_PTE_BITS
pmap_store(l2, PHYS_TO_PTE(pa) | PMAP_SAN_PTE_BITS | L2_BLOCK);
PMAP_SAN_PTE_BITS | L2_BLOCK);
PMAP_SAN_PTE_BITS | L2_BLOCK);
pmap_store(l3, VM_PAGE_TO_PTE(m) | PMAP_SAN_PTE_BITS | L3_PAGE);