_PAGE_WRITETHRU
#define _PAGE_WRITETHRU 0x008 /* W: caching is write-through */
#define _PAGE_WRITETHRU 0x040 /* W: cache write-through */
#define _PAGE_WRITETHRU 0x00000800 /* H: W bit */
#define _PAGE_WRITETHRU 0
#define _PAGE_WRITETHRU 0x800000 /* W: cache write-through */