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