Searched refs:gic_ipi_domain_free (Results 1 – 1 of 1) sorted by relevance
| /Linux-v4.19/drivers/irqchip/ | ||
| D | irq-mips-gic.c | 620 void gic_ipi_domain_free(struct irq_domain *d, unsigned int virq, in gic_ipi_domain_free() function |
Searched refs:gic_ipi_domain_free (Results 1 – 1 of 1) sorted by relevance
| /Linux-v4.19/drivers/irqchip/ | ||
| D | irq-mips-gic.c | 620 void gic_ipi_domain_free(struct irq_domain *d, unsigned int virq, in gic_ipi_domain_free() function |