Searched defs:vcpustate (Results 1 – 2 of 2) sorted by relevance
120 struct svm_vcpu *vcpustate = svm_get_vcpu(sc, vcpu); in svm_set_dirty() local128 struct svm_vcpu *vcpustate = svm_get_vcpu(sc, vcpu); in svm_apply_dirty() local
1583 struct svm_vcpu *vcpustate; in svm_inject_events() local1779 struct svm_vcpu *vcpustate = svm_get_vcpu(sc, vcpuid); in check_asid() local1797 struct svm_vcpu *vcpustate = svm_get_vcpu(sc, vcpuid); in flush_asid() local1895 struct svm_vcpu *vcpustate; in svm_vmrun() local