PSL_D
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);
{ PSL_D, "DF ", "df "},
ci->ci_psw = PSL_I | PSL_Q | PSL_P | PSL_C | PSL_D;
tf->tf_ipsw = PSL_C | PSL_Q | PSL_P | PSL_D | PSL_I /* | PSL_L */ |
#define PSL_MBS (PSL_C|PSL_Q|PSL_P|PSL_D|PSL_I)
ci->ci_psw = PSL_Q | PSL_P | PSL_C | PSL_D;
tf->tf_ipsw = PSL_C | PSL_Q | PSL_P | PSL_D | PSL_I /* | PSL_L */ |
#define RESET_PSL (PSL_R | PSL_Q | PSL_P | PSL_D | PSL_I)
tf->tf_eflags &= ~(PSL_T|PSL_D|PSL_VM|PSL_AC);