PT_WRITETHRU
if (PTE_GET(pte, PT_WRITETHRU))
*ptep |= PT_WRITETHRU | PT_NOCACHE;
PTE_SET(pte, PT_WRITETHRU);
(PT_PADDR | PT_NX | PT_WRITABLE | PT_WRITETHRU | \
return (PT_NOCACHE | PT_WRITETHRU);