PAT_VALUE
#define PAT_MASK(i) PAT_VALUE(i, 0xff)
pat_msr = PAT_VALUE(0, PAT_WRITE_BACK) | /* 000 */
PAT_VALUE(1, PAT_WRITE_THROUGH) | /* 001 */
PAT_VALUE(2, PAT_UNCACHED) | /* 010 */
PAT_VALUE(3, PAT_UNCACHEABLE) | /* 011 */
PAT_VALUE(4, PAT_WRITE_BACK) | /* 100 */
PAT_VALUE(5, PAT_WRITE_THROUGH) | /* 101 */
PAT_VALUE(6, PAT_UNCACHED) | /* 110 */
PAT_VALUE(7, PAT_UNCACHEABLE); /* 111 */
PAT_VALUE(5, PAT_WRITE_PROTECTED);
PAT_VALUE(6, PAT_WRITE_COMBINING);