Searched refs:mct_int_type (Results 1 – 1 of 1) sorted by relevance
77 static unsigned int mct_int_type; variable468 if (mct_int_type == MCT_INT_SPI) { in exynos4_mct_starting_cpu()491 if (mct_int_type == MCT_INT_SPI) { in exynos4_mct_dying_cpu()520 if (mct_int_type == MCT_INT_PPI) { in exynos4_timer_resources()560 if (mct_int_type == MCT_INT_PPI) { in exynos4_timer_resources()581 mct_int_type = int_type; in mct_init_dt()