KVM_S2_MEMATTR
attr = KVM_S2_MEMATTR(pgt, DEVICE_nGnRE);
attr = KVM_S2_MEMATTR(pgt, NORMAL_NC);
attr = KVM_S2_MEMATTR(pgt, NORMAL);
return kvm_pte_valid(pte) && memattr == KVM_S2_MEMATTR(pgt, NORMAL);