PSL_T
#define PSL_USERCHANGE (PSL_C | PSL_PF | PSL_AF | PSL_Z | PSL_N | PSL_T \
vmxctx->host_tf = rflags & PSL_T;
write_rflags(rflags & ~PSL_T);