MTRR_TYPE_WB
(EPT_MAX_LEVELS - 1) << 3 | MTRR_TYPE_WB));
CTASSERT((PAT_DEFAULT_ATTRIBUTE & 0xf) == MTRR_TYPE_WB);
if (attr == MTRR_TYPE_WB)
const uint64_t pat = rvi_attr_to_pat(MTRR_TYPE_WB);
vmo->vmo_attr = MTRR_TYPE_WB;
((uint64_t)MTRR_TYPE_WB | \
((uint64_t)MTRR_TYPE_WB << 32) | \