gic_smp_init
static void __init gic_smp_init(void)
#define gic_smp_init() do { } while(0)
static __init void gic_smp_init(void)