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