PT_NOCACHE
if (PTE_GET(pte, PT_NOCACHE))
*ptep |= PT_WRITETHRU | PT_NOCACHE;
pte_bits |= PT_NOCACHE;
pte_bits &= ~PT_NOCACHE;
pteval |= PT_NOCACHE; /* for video RAM */
PTE_SET(pte, PT_NOCACHE);
PTE_SET(pte, PT_NOCACHE);
PT_NOCACHE | PT_PAT_4K | PT_PAT_LARGE | PT_IGNORE | PT_REF | PT_MOD)
#define PTE_DEV_BITS (PT_VALID | PT_WRITABLE | PT_NOCACHE | PT_NOCONSIST | \
return (PT_NOCACHE | PT_WRITETHRU);