write_eflags
write_eflags(flags ^ PSL_ID);
write_eflags(eflags);
void write_eflags(u_int ef);
write_eflags(eflags ^ PSL_ID);