x86_use_pat
bool x86_use_pat();
if (range->area == -1 && !x86_use_pat()) {
if (x86_use_pat())
return x86_use_pat() ? X86_64_PTE_PAT : 0;