exynos4412         37 arch/arm/mach-exynos/common.h IS_SAMSUNG_CPU(exynos4412, EXYNOS4412_CPU_ID, EXYNOS4_CPU_MASK)
exynos4412        617 drivers/clocksource/exynos_mct.c TIMER_OF_DECLARE(exynos4412, "samsung,exynos4412-mct", mct_init_ppi);