PSL_NT
| PSL_D | PSL_V | PSL_NT | PSL_AC | PSL_ID)
wrmsr(MSR_SF_MASK, PSL_NT|PSL_T|PSL_I|PSL_C|PSL_D|PSL_IOPL|PSL_AC);
tf->tf_eflags &= ~(PSL_VM | PSL_NT | PSL_VIF | PSL_VIP);
wrmsr(MSR_SF_MASK, PSL_NT|PSL_T|PSL_I|PSL_C|PSL_D|PSL_IOPL|PSL_AC);
if (frame->tf_rflags & PSL_NT)
if (frame->tf_rflags & PSL_NT) {
frame->tf_rflags &= ~PSL_NT;
tf->tf_eflags &= ~(PSL_VM | PSL_NT | PSL_VIF | PSL_VIP);
if (frame->tf_rflags & PSL_NT) {
frame->tf_rflags &= ~PSL_NT;
if (frame->tf_rflags & PSL_NT)