Symbol: __irq_is_sgi
arch/arm64/kvm/vgic/vgic.c
116
if (__irq_is_sgi(type, intid) || __irq_is_ppi(type, intid)) {
include/kvm/arm_vgic.h
108
#define irq_is_sgi(k, i) __irq_is_sgi((k)->arch.vgic.vgic_model, i)