Searched defs:ppc40x_timer (Results 1 – 1 of 1) sorted by relevance
1194 ppc40x_timer_t *ppc40x_timer; in cpu_4xx_fit_cb() local1230 ppc40x_timer_t *ppc40x_timer; in start_stop_pit() local1260 ppc40x_timer_t *ppc40x_timer; in cpu_4xx_pit_cb() local1281 ppc40x_timer_t *ppc40x_timer; in cpu_4xx_wdt_cb() local1344 ppc40x_timer_t *ppc40x_timer; in store_40x_pit() local1398 ppc40x_timer_t *ppc40x_timer; in ppc_40x_timers_init() local