PSL_ID
write_rflags(flags ^ PSL_ID);
if (!((flags ^ read_rflags()) & PSL_ID))
write_eflags(flags ^ PSL_ID);
if (!((flags ^ read_eflags()) & PSL_ID))
| PSL_D | PSL_V | PSL_NT | PSL_RF | PSL_AC | PSL_ID)