Searched refs:gic_timer_retrigger (Results 1 – 4 of 4) sorted by relevance
155 gic_timer_retrigger(); in omap4_boot_secondary()
153 gic_timer_retrigger(); in omap_enter_idle_coupled()
258 extern void gic_timer_retrigger(void);
195 void gic_timer_retrigger(void) in gic_timer_retrigger() function