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