PSL_ID
write_eflags(eflags ^ PSL_ID);
if (!((eflags ^ read_eflags()) & PSL_ID))
| PSL_D | PSL_V | PSL_NT | PSL_AC | PSL_ID)