Searched refs:gic_timer_expire_cb (Results 1 – 1 of 1) sorted by relevance
196 static void gic_timer_expire_cb(void *opaque, uint32_t vp_index) in gic_timer_expire_cb() function434 s->gic_timer = mips_gictimer_init(s, s->num_vps, gic_timer_expire_cb); in mips_gic_realize()