gicv2m_allocate_domains  451 drivers/irqchip/irq-gic-v2m.c 		ret = gicv2m_allocate_domains(parent);
gicv2m_allocate_domains  554 drivers/irqchip/irq-gic-v2m.c 	ret = gicv2m_allocate_domains(parent);