Searched defs:gic_timer_retrigger (Results 1 – 2 of 2) sorted by relevance
191 void gic_timer_retrigger(void) in gic_timer_retrigger() function