PG_PTE_CACHE
int PG_PTE_CACHE;
PG_PTE_CACHE = pmap_cache_mask(pmap, false);
int PG_PTE_CACHE;
PG_PTE_CACHE = pmap_cache_mask(pmap, false);
#define PG_PTE_PROMOTE (PG_NX | PG_MANAGED | PG_W | PG_G | PG_PTE_CACHE | \
if ((*pte & (PG_FRAME | PG_PTE_CACHE)) != pa) {
npte = opte & ~PG_PTE_CACHE;
if ((*pte & PG_PTE_CACHE) != cache_bits_pte) {
attrs |= pte & (PG_G | PG_PTE_CACHE);
#define PG_PTE_PROMOTE (PG_X | PG_MANAGED | PG_W | PG_PTE_CACHE | \