Symbol: gic_init_physaddr
drivers/irqchip/irq-gic.c
1039
static void __init gic_init_physaddr(struct device_node *node)
drivers/irqchip/irq-gic.c
1049
#define gic_init_physaddr(node) do { } while (0)