l2_has_separate_pat
if (l2_has_separate_pat(vcpu))
if (l2_has_separate_pat(vcpu))
l2_has_separate_pat(vcpu)) ||
if (l2_has_separate_pat(vcpu)) {
return !from_host && is_guest_mode(vcpu) && l2_has_separate_pat(vcpu);
if (is_guest_mode(vcpu) && !l2_has_separate_pat(vcpu))