L1_S_V7_AF
pde[va >> L1_S_SHIFT] = L1_S_PROTO | pa | L1_S_V7_AF |
L1_S_V7_AF | L1_S_PROT(PTE_KERNEL, prot) | f1;