Symbol: MCT_INT_PPI
drivers/clocksource/exynos_mct.c
563
if (mct_int_type == MCT_INT_PPI) {
drivers/clocksource/exynos_mct.c
625
if (mct_int_type == MCT_INT_PPI) {
drivers/clocksource/exynos_mct.c
697
return mct_init_dt(np, MCT_INT_PPI);