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