Did you mean (for openbmc):exynos4210_gic_info exynos4210_i2c_init exynos4210_rtc_init
Your search defs:exynos4210_gic_init did not match any files. Suggestions: