PSL_AC
wrmsr(MSR_SFMASK, PSL_NT|PSL_T|PSL_I|PSL_C|PSL_D|PSL_AC);
tf->tf_rflags &= ~(PSL_T|PSL_D|PSL_VM|PSL_AC);
if (rf & PSL_AC) {
write_rflags(rf & ~PSL_AC);
{ PSL_AC, "AC ", "ac "},
tf->tf_eflags &= ~(PSL_T|PSL_D|PSL_VM|PSL_AC);
if (ef & PSL_AC) {
write_eflags(ef & ~PSL_AC);
if (ef & PSL_AC) {
write_eflags(ef & ~PSL_AC);