Searched refs:svm_get_vcpu (Results 1 – 2 of 2) sorted by relevance
72 svm_get_vcpu(struct svm_softc *sc, int vcpu) in svm_get_vcpu() function111 vcpustate = svm_get_vcpu(sc, vcpu); in svm_set_dirty()
617 vcpu = svm_get_vcpu(svm_sc, i); in svm_init()1619 vcpustate = svm_get_vcpu(sc, vcpu); in svm_inj_interrupts()1817 vcpustate = svm_get_vcpu(sc, vcpuid); in svm_pmap_activate()2006 vcpustate = svm_get_vcpu(svm_sc, vcpu); in svm_run()