__pudp_idte
__pudp_idte(addr, pudp, IDTE_NODAT | IDTE_GUEST_ASCE,
__pudp_idte(addr, pudp, 0, 0, IDTE_LOCAL);
__pudp_idte(addr, pudp, IDTE_NODAT | IDTE_GUEST_ASCE,
__pudp_idte(addr, pudp, 0, 0, IDTE_GLOBAL);