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()
504 vcpu = svm_get_vcpu(svm_sc, i); in svm_vminit()1586 vcpustate = svm_get_vcpu(sc, vcpu); in svm_inject_events()1776 struct svm_vcpu *vcpustate = svm_get_vcpu(sc, vcpuid); in check_asid()1794 struct svm_vcpu *vcpustate = svm_get_vcpu(sc, vcpuid); in flush_asid()1915 vcpustate = svm_get_vcpu(svm_sc, vcpu); in svm_vmrun()