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)) {