L2_S_PROT
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);
L2_S_PROT(PTE_KERNEL, prot) | fl;
L2_S_PROT(PTE_KERNEL, prot) | fl;
L2_S_PROT(PTE_KERNEL, prot) | f2s;
L2_S_PROT(PTE_KERNEL, prot) | f2s;