Symbol: irq_domain_is_ipi
kernel/irq/ipi.c
129
if (!irq_domain_is_ipi(domain)) {
kernel/irq/ipi.c
30
if (!domain ||!irq_domain_is_ipi(domain)) {