PSL_CM
psl_kernset |= PSL_CM;
psl_userset32 = psl_userset & ~PSL_CM;
msr = PSL_CM | PSL_ME;
ASSYM(PSL_CM, PSL_CM);