Symbol: gic_check_cpu_features
drivers/irqchip/irq-gic.c
55
static void gic_check_cpu_features(void)
drivers/irqchip/irq-gic.c
62
#define gic_check_cpu_features() do { } while(0)