Searched refs:svm_get_vcpu (Results 1 – 2 of 2) sorted by relevance
82 svm_get_vcpu(struct svm_softc *sc, int vcpu) in svm_get_vcpu() function120 struct svm_vcpu *vcpustate = svm_get_vcpu(sc, vcpu); in svm_set_dirty()128 struct svm_vcpu *vcpustate = svm_get_vcpu(sc, vcpu); in svm_apply_dirty()
473 vcpu = svm_get_vcpu(svm_sc, i); in svm_vminit()1582 vcpustate = svm_get_vcpu(sc, vcpu); in svm_inject_events()1772 struct svm_vcpu *vcpustate = svm_get_vcpu(sc, vcpuid); in check_asid()1790 struct svm_vcpu *vcpustate = svm_get_vcpu(sc, vcpuid); in flush_asid()1901 vcpustate = svm_get_vcpu(svm_sc, vcpu); in svm_vmrun()