Searched refs:IRQ_DOMAIN_FLAG_IPI_PER_CPU (Results 1 – 2 of 2) sorted by relevance
191 IRQ_DOMAIN_FLAG_IPI_PER_CPU = (1 << 2), enumerator541 (IRQ_DOMAIN_FLAG_IPI_PER_CPU | IRQ_DOMAIN_FLAG_IPI_SINGLE); in irq_domain_is_ipi()546 return domain->flags & IRQ_DOMAIN_FLAG_IPI_PER_CPU; in irq_domain_is_ipi_per_cpu()
769 IRQ_DOMAIN_FLAG_IPI_PER_CPU, in gic_of_init()
