write_rflags
write_rflags(flags ^ PSL_ID);
write_rflags(rflags);
void write_rflags(u_int rf);
write_rflags(rflags & ~PSL_T);
write_rflags(read_rflags() | vmxctx->host_tf);