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;