PSL_USERSET       240 arch/i386/i386/kvm86.c 	tf->tf_eflags = PSL_USERSET | PSL_VM;
PSL_USERSET      2675 arch/i386/i386/machdep.c 	tf->tf_eflags = PSL_USERSET;