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);