gic_set_base_accessor 1124 drivers/irqchip/irq-gic.c 		gic_set_base_accessor(gic, gic_get_percpu_base);
gic_set_base_accessor 1132 drivers/irqchip/irq-gic.c 		gic_set_base_accessor(gic, gic_get_common_base);