Searched refs:IRQ_DOMAIN_FLAG_IPI_SINGLE (Results 1 – 2 of 2) sorted by relevance
197 IRQ_DOMAIN_FLAG_IPI_SINGLE = (1 << 3), enumerator504 (IRQ_DOMAIN_FLAG_IPI_PER_CPU | IRQ_DOMAIN_FLAG_IPI_SINGLE); in irq_domain_is_ipi()514 return domain->flags & IRQ_DOMAIN_FLAG_IPI_SINGLE; in irq_domain_is_ipi_single()
244 IRQ_DOMAIN_FLAG_IPI_SINGLE, in mips_cpu_register_ipi_domain()