AVIC_GATAG_TO_VCPUID 1199 arch/x86/kvm/svm.c u32 vcpu_id = AVIC_GATAG_TO_VCPUID(ga_tag); AVIC_GATAG_TO_VCPUID 5244 arch/x86/kvm/svm.c u32 vcpu_id = AVIC_GATAG_TO_VCPUID(pi->prev_ga_tag); AVIC_GATAG_TO_VCPUID 5393 arch/x86/kvm/svm.c int id = AVIC_GATAG_TO_VCPUID(pi.prev_ga_tag);