PT_PAT_LARGE
if (PTE_GET(pte, PT_PAGESIZE) && PTE_GET(pte, PT_PAT_LARGE))
PTE_SET(pte, (level == 0) ? PT_PAT_4K : PT_PAT_LARGE);
PT_NOCACHE | PT_PAT_4K | PT_PAT_LARGE | PT_IGNORE | PT_REF | PT_MOD)