Did you mean (for linux):gic_cpu_init
Your search defs:GIC_CPU_INT0 did not match any files. Suggestions: