Searched refs:svm_get_vmcb_ctrl (Results 1 – 2 of 2) sorted by relevance
| /f-stack/freebsd/amd64/vmm/amd/ |
| H A D | svm.c | 291 ctrl = svm_get_vmcb_ctrl(sc, vcpu); in svm_set_tsc_offset()
391 ctrl = svm_get_vmcb_ctrl(sc, vcpu); in svm_get_intercept()
404 ctrl = svm_get_vmcb_ctrl(sc, vcpu); in svm_set_intercept()
442 ctrl = svm_get_vmcb_ctrl(sc, vcpu); in vmcb_init()
936 ctrl = svm_get_vmcb_ctrl(sc, vcpu); in svm_eventinject()
978 ctrl = svm_get_vmcb_ctrl(sc, vcpu); in svm_update_virqinfo()
1026 ctrl = svm_get_vmcb_ctrl(sc, vcpu); in enable_intr_window_exiting()
1048 ctrl = svm_get_vmcb_ctrl(sc, vcpu); in disable_intr_window_exiting()
1069 ctrl = svm_get_vmcb_ctrl(sc, vcpu); in svm_modify_intr_shadow()
1084 ctrl = svm_get_vmcb_ctrl(sc, vcpu); in svm_get_intr_shadow()
[all …]
|
| H A D | svm_softc.h | 93 svm_get_vmcb_ctrl(struct svm_softc *sc, int vcpu) in svm_get_vmcb_ctrl() function
|