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
1576 struct svm_vcpu *vcpustate; in svm_inject_events() local1772 struct svm_vcpu *vcpustate = svm_get_vcpu(sc, vcpuid); in check_asid() local1790 struct svm_vcpu *vcpustate = svm_get_vcpu(sc, vcpuid); in flush_asid() local1888 struct svm_vcpu *vcpustate; in svm_vmrun() local