KVM_PTE_LEAF_ATTR_LO_S2_AF
ret = stage2_update_leaf_attrs(pgt, addr, 1, KVM_PTE_LEAF_ATTR_LO_S2_AF, 0,
kvm_pte_t new = ctx->old & ~KVM_PTE_LEAF_ATTR_LO_S2_AF;
attr |= KVM_PTE_LEAF_ATTR_LO_S2_AF;
new_desc |= KVM_PTE_LEAF_ATTR_LO_S2_AF;
if (!(desc & KVM_PTE_LEAF_ATTR_LO_S2_AF)) {
.mask = KVM_PTE_LEAF_ATTR_LO_S2_AF,
.val = KVM_PTE_LEAF_ATTR_LO_S2_AF,