Symbol: AVIC_GATAG_TO_VCPUIDX
arch/x86/kvm/svm/avic.c
254
u32 vcpu_idx = AVIC_GATAG_TO_VCPUIDX(ga_tag);
arch/x86/kvm/svm/avic.c
60
WARN_ON_ONCE(AVIC_GATAG_TO_VCPUIDX(ga_tag) != (vcpu_idx)); \