IPTE_GUEST_ASCE
unsigned long opts = IPTE_GUEST_ASCE | (pgste.nodat ? IPTE_NODAT : 0);
opt |= IPTE_GUEST_ASCE;