__pmdp_idte
__pmdp_idte(addr, pmdp, IDTE_NODAT | IDTE_GUEST_ASCE, mm->context.asce, IDTE_LOCAL);
__pmdp_idte(addr, pmdp, 0, 0, IDTE_LOCAL);
__pmdp_idte(addr, pmdp, IDTE_NODAT | IDTE_GUEST_ASCE,
__pmdp_idte(addr, pmdp, 0, 0, IDTE_GLOBAL);