PTE_xW
va = pmap_kvptefill(va, round_page(endkernel), PTE_M | PTE_xR | PTE_xW);
PTE_M | PTE_xR | PTE_xW);
pmap_kvptefill(sva, eva, PTE_M | PTE_xR | PTE_xW);
kxtlb->e_tlb.tlb_pte = PTE_M|PTE_xR|PTE_xW|PTE_xX;
PTE_M | PTE_xR | PTE_xW | PTE_xX);
data_xtlb->e_tlb.tlb_pte = PTE_M | PTE_xR | PTE_xW | data_xtlb->e_tlb.tlb_va;
tlb.tlb_pte & PTE_xW ? "W" : "",
| PTE_M | PTE_xX | PTE_xW | PTE_xR;
&& ((pte & (PTE_xW|PTE_UNMODIFIED)) == (PTE_xW|PTE_UNMODIFIED))) {
#if (PTE_UNMODIFIED << 1) != PTE_xW
return (pt_entry & PTE_xW) == 0;
return pt_entry & ~(PTE_xW|PTE_UNMODIFIED);
pt_entry &= ~(PTE_xW|PTE_UNMODIFIED);
pt_entry |= PTE_xW;
#define PTE_IO (PTE_I|PTE_G|PTE_xW|PTE_xR)
#define PTE_DEFAULT (PTE_M|PTE_xX|PTE_xW|PTE_xR)
#define PTE_RWX_MASK (PTE_xX|PTE_xW|PTE_xR)
return (pt_entry & (PTE_UNMODIFIED|PTE_xW)) == PTE_xW;