Symbol: gic_register_ipi_domain
drivers/irqchip/irq-mips-gic.c
843
static int gic_register_ipi_domain(struct device_node *node)
drivers/irqchip/irq-mips-gic.c
878
static inline int gic_register_ipi_domain(struct device_node *node)