PTE_KERNEL
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);
L1_S_PROT(PTE_KERNEL, prot) | fl | L1_S_DOM(PMAP_DOMAIN_KERNEL);
npte |= L2_S_PROTO | pa | L2_S_PROT(PTE_KERNEL, prot);
| L1_S_PROT(PTE_KERNEL, prot) | f1;
| L1_S_PROT(PTE_KERNEL, prot) | f1
| L2_L_PROT(PTE_KERNEL, prot) | f2l;
| 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;