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