Searched refs:svm_vcpu (Results 1 – 2 of 2) sorted by relevance
47 struct svm_vcpu { struct65 struct svm_vcpu vcpu[VM_MAXCPU]; argument81 static __inline struct svm_vcpu *120 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()
421 struct svm_vcpu *vcpu; in svm_vminit()1580 struct svm_vcpu *vcpustate; 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()1892 struct svm_vcpu *vcpustate; in svm_vmrun()