Searched refs:svm_get_vmcb (Results 1 – 3 of 3) sorted by relevance
121 vmcb = svm_get_vmcb(softc, vcpu); in vmcb_access()166 vmcb = svm_get_vmcb(sc, vcpu); in vmcb_read()252 vmcb = svm_get_vmcb(sc, vcpu); in vmcb_write()360 vmcb = svm_get_vmcb(sc, vcpu); in vmcb_setdesc()411 vmcb = svm_get_vmcb(sc, vcpu); in vmcb_getdesc()
77 svm_get_vmcb(struct svm_softc *sc, int vcpu) in svm_get_vmcb() function
767 svm_paging_info(svm_get_vmcb(svm_sc, vcpu), &vis->paging); in svm_handle_io()1290 vmcb = svm_get_vmcb(svm_sc, vcpu); in svm_vmexit()