Searched defs:mct (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/kernel/src/drivers/timer/
H A Dexynos4210-mct.c20 timer_t *mct = (timer_t *) EXYNOS_MCT_PPTR; variable
H A Dexynos4412-mct.c13 timer_t *mct = (timer_t *) EXYNOS_MCT_PPTR; variable
[all...]

Completed in 72 milliseconds