PSW_KERNEL_BITS
psw.mask = PSW_KERNEL_BITS;
psw_enter.mask = PSW_KERNEL_BITS & ~PSW_MASK_DAT; \
psw.mask = PSW_KERNEL_BITS;
psw_mask = PSW_KERNEL_BITS | PSW_MASK_WAIT |
frame->childregs.psw.mask = PSW_KERNEL_BITS | PSW_MASK_IO |
lc->restart_psw.mask = PSW_KERNEL_BITS & ~PSW_MASK_DAT;
lc->external_new_psw.mask = PSW_KERNEL_BITS;
lc->svc_new_psw.mask = PSW_KERNEL_BITS;
lc->program_new_psw.mask = PSW_KERNEL_BITS;
lc->mcck_new_psw.mask = PSW_KERNEL_BITS;
lc->io_new_psw.mask = PSW_KERNEL_BITS;
__load_psw_mask(PSW_KERNEL_BITS);