PTE51_CI
#define PG_CI PTE51_CI
ci_bits = PTE51_CI;
pte_set(pmap_pv_pte(pv), PTE51_CI);
pte_mask(pmap_pv_pte(pv), ~((uint32_t)PTE51_CI));
pt_entry_t all_ci = PTE51_CI;
pt_entry_t all_ci = PTE51_CI;
pt_entry_t npte = (opte & ~PTE51_WP) | PTE51_CI;
proto_rw_ci_pte = PTE_VALID|PTE_WIRED |PTE51_CI;
__CTASSERT(PTE51_CI == PTE40_CM_NC_SER);
return !!(pte & PTE51_CI);
: PTE51_CI);
tmppte = (oldpte & ~PTE51_WP) | PTE51_CI;