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