EPT_PG_MEMORY_TYPE
cache_bits = EPT_PG_IGNORE_PAT | EPT_PG_MEMORY_TYPE(mode);
mask = EPT_PG_IGNORE_PAT | EPT_PG_MEMORY_TYPE(0x7);
pat_idx = (pte & EPT_PG_MEMORY_TYPE(0x7)) >> 3;