L2_S_PROT
L2_S_PROT(PTE_KERNEL, VM_PROT_READ) | pte_l2_s_cache_mode;
| L2_S_PROT(PTE_KERNEL, VM_PROT_READ|VM_PROT_WRITE);
| L2_S_PROT(PTE_KERNEL, VM_PROT_READ|VM_PROT_WRITE)
pt_entry_t npte = L2_S_PROTO | pa | L2_S_PROT(PTE_KERNEL, prot);
| L2_S_PROT(PTE_KERNEL, VM_PROT_WRITE);
L2_S_PROT(PTE_KERNEL, VM_PROT_WRITE) |
L2_S_PROT(PTE_KERNEL, VM_PROT_WRITE) | pte_l2_s_cache_mode;
| L2_S_PROT(PTE_KERNEL, VM_PROT_READ);
L2_S_PROT(PTE_KERNEL, VM_PROT_WRITE) | pte_l2_s_cache_mode;
| L2_S_PROT(PTE_KERNEL, VM_PROT_READ)
| L2_S_PROT(PTE_KERNEL, VM_PROT_WRITE)
| L2_S_PROT(PTE_KERNEL, prot);
| L2_S_PROT(PTE_KERNEL, prot);
npte |= L2_S_PROTO | pa | L2_S_PROT(PTE_KERNEL, prot);
| L2_S_PROT(PTE_KERNEL, prot) | f2s;
L2_S_PROTO | pa | L2_S_PROT(PTE_KERNEL, VM_PROT_READ)
L2_S_PROT(PTE_KERNEL, prot);
L2_S_PROT(PTE_KERNEL, VM_PROT_READ) | pte_l2_s_cache_mode;