PSW32_MASK_BASE
.ipl_psw = { .mask = PSW32_MASK_BASE, .addr = PSW32_ADDR_AMODE | IPL_START },
if (!(new_psw.mask & PSW32_MASK_BASE))
gpsw->mask = (new_psw.mask & ~PSW32_MASK_BASE) << 32;