PSL_I
#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)
wrmsr(MSR_SFMASK, PSL_NT|PSL_T|PSL_I|PSL_C|PSL_D|PSL_AC);
interrupts_enabled = (x86_read_flags() & PSL_I) != 0;
KASSERTMSG(((psl = x86_read_psl()) & PSL_I) != 0, "psl=0x%lx", psl);
if (cpudata->int_window_exit && (vmcb->state.rflags & PSL_I)) {
if (rflags & PSL_I) {