MCT_INT_PPI       520 drivers/clocksource/exynos_mct.c 	if (mct_int_type == MCT_INT_PPI) {
MCT_INT_PPI       560 drivers/clocksource/exynos_mct.c 	if (mct_int_type == MCT_INT_PPI) {
MCT_INT_PPI       614 drivers/clocksource/exynos_mct.c 	return mct_init_dt(np, MCT_INT_PPI);