PSL_MBO
tss->__tss_eflags = PSL_MBO | PSL_NT; /* XXX not needed? */
tf->tf_srr1 = PSL_MBO | PSL_USERSET;
#define PSL_USERSTATIC (PSL_BL|PSL_RB|PSL_MD|PSL_IMASK|PSL_MBO|PSL_MBZ)
#define PSL_USERSTATIC (PSL_MBO | PSL_MBZ | PSL_I | PSL_IOPL | \
#define PSL_USERSET (PSL_MBO | PSL_I)
#define PSL_USERSTATIC (PSL_MBO | PSL_MBZ | PSL_I | PSL_IOPL | PSL_NT | PSL_VM | PSL_VIF | PSL_VIP)
state->gprs[NVMM_X64_GPR_RFLAGS] = PSL_MBO;
state->gprs[NVMM_X64_GPR_RFLAGS] = PSL_MBO;