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