Searched refs:ppc40x_timer (Results 1 – 1 of 1) sorted by relevance
1196 ppc40x_timer_t *ppc40x_timer; in cpu_4xx_fit_cb() 1200 ppc40x_timer = tb_env->opaque; in cpu_4xx_fit_cb() 1220 timer_mod(ppc40x_timer->fit_timer, next); in cpu_4xx_fit_cb() 1232 ppc40x_timer_t *ppc40x_timer; in start_stop_pit() 1235 ppc40x_timer = tb_env->opaque; in start_stop_pit() 1236 if (ppc40x_timer->pit_reload <= 1 || in start_stop_pit() 1243 trace_ppc4xx_pit_start(ppc40x_timer->pit_reload); in start_stop_pit() 1247 tb_env->decr_next += ppc40x_timer->pit_reload; in start_stop_pit() 1250 + ppc40x_timer->pit_reload; in start_stop_pit() 1262 ppc40x_timer_t *ppc40x_timer; in cpu_4xx_pit_cb() 1194 ppc40x_timer_t *ppc40x_timer; cpu_4xx_fit_cb() local 1230 ppc40x_timer_t *ppc40x_timer; start_stop_pit() local 1260 ppc40x_timer_t *ppc40x_timer; cpu_4xx_pit_cb() local 1281 ppc40x_timer_t *ppc40x_timer; cpu_4xx_wdt_cb() local 1344 ppc40x_timer_t *ppc40x_timer; store_40x_pit() local 1398 ppc40x_timer_t *ppc40x_timer; ppc_40x_timers_init() local [all...]