Searched refs:IRQ_DOMAIN_FLAG_IPI_PER_CPU (Results 1 – 2 of 2) sorted by relevance
194 IRQ_DOMAIN_FLAG_IPI_PER_CPU = (1 << 2), enumerator497 (IRQ_DOMAIN_FLAG_IPI_PER_CPU | IRQ_DOMAIN_FLAG_IPI_SINGLE); in irq_domain_is_ipi()502 return domain->flags & IRQ_DOMAIN_FLAG_IPI_PER_CPU; in irq_domain_is_ipi_per_cpu()
768 IRQ_DOMAIN_FLAG_IPI_PER_CPU, in gic_of_init()
