IRQ_DOMAIN_FLAG_IPI_PER_CPU  768 drivers/irqchip/irq-mips-gic.c 						  IRQ_DOMAIN_FLAG_IPI_PER_CPU,
IRQ_DOMAIN_FLAG_IPI_PER_CPU  514 include/linux/irqdomain.h 		(IRQ_DOMAIN_FLAG_IPI_PER_CPU | IRQ_DOMAIN_FLAG_IPI_SINGLE);
IRQ_DOMAIN_FLAG_IPI_PER_CPU  519 include/linux/irqdomain.h 	return domain->flags & IRQ_DOMAIN_FLAG_IPI_PER_CPU;