Home
last modified time | relevance | path

Searched refs:rflags_tf (Results 1 – 2 of 2) sorted by relevance

/freebsd/sys/amd64/vmm/amd/
H A Dsvm_softc.h40 uint32_t rflags_tf; /* saved RFLAGS.TF value when single-stepping a vcpu */ member
H A Dsvm.c1461 vcpu->dbg.rflags_tf = rflags & PSL_T; in svm_vmexit()
1477 vcpu->dbg.rflags_tf; in svm_vmexit()
2473 vcpu->dbg.rflags_tf = rflags & PSL_T; in svm_setcap()
2488 rflags |= vcpu->dbg.rflags_tf; in svm_setcap()
2489 vcpu->dbg.rflags_tf = 0; in svm_setcap()