__load_psw_mask
__load_psw_mask(mask & ~PSW_MASK_MCHECK);
__load_psw_mask(mask | mflags);
__load_psw_mask(__extract_psw() | PSW_MASK_MCHECK);
__load_psw_mask(psw_mask);
__load_psw_mask(PSW_KERNEL_BITS);