KVM_PTE_LEAF_ATTR_HI_S1_UXN
attr |= KVM_PTE_LEAF_ATTR_HI_S1_UXN;
if (!(pte & KVM_PTE_LEAF_ATTR_HI_S1_UXN))