Symbol: write_rflags
sys/amd64/include/cpufunc.h
856
write_rflags(rflags);
sys/amd64/vmm/intel/vmx.c
2970
write_rflags(rflags & ~PSL_T);
sys/amd64/vmm/intel/vmx.c
3009
write_rflags(read_rflags() | vmxctx->host_tf);