Symbol: gicv2m_allocate_domains
drivers/irqchip/irq-gic-v2m.c
420
ret = gicv2m_allocate_domains(parent);
drivers/irqchip/irq-gic-v2m.c
523
ret = gicv2m_allocate_domains(parent);