PTE_KERNEL
tmppde = oldpde | L1_S_PROT(PTE_KERNEL, PROT_WRITE);
tmppte = oldpte | L2_S_PROT(PTE_KERNEL, PROT_WRITE);
npte |= L2_S_PROT(pm == pmap_kernel() ? PTE_KERNEL : PTE_USER, prot);
L2_S_PROT(PTE_KERNEL, prot) | cache_mode;
L2_S_PROT(PTE_KERNEL, PROT_WRITE) | PTE_L2_S_CACHE_MODE;
L2_S_PROT(PTE_KERNEL, PROT_READ) | PTE_L2_S_CACHE_MODE;
L2_S_PROT(PTE_KERNEL, PROT_WRITE) | PTE_L2_S_CACHE_MODE;
L2_S_PROT(PTE_KERNEL, PROT_READ | PROT_WRITE);
*ptep = (*ptep & ~L2_S_PROT_MASK) | L2_S_PROT(PTE_KERNEL, prot);
L1_S_PROT(PTE_KERNEL, prot) | fl;
L2_S_PROT(PTE_KERNEL, prot) | fl;
L2_S_PROT(PTE_KERNEL, prot) | fl;
L1_S_V7_AF | L1_S_PROT(PTE_KERNEL, prot) | f1;
L2_L_PROT(PTE_KERNEL, prot) | f2l;
L2_L_PROT(PTE_KERNEL, prot) | f2l;
L2_S_PROT(PTE_KERNEL, prot) | f2s;
L2_S_PROT(PTE_KERNEL, prot) | f2s;