Searched refs:gic_reset (Results 1 – 1 of 1) sorted by relevance
619 static void gic_reset(gic_state *s) in gic_reset() function730 gic_reset(s); in gic_init()