Searched refs:gic_vptimer_expire (Results 1 – 1 of 1) sorted by relevance
33 static void gic_vptimer_expire(MIPSGICTimerState *gictimer, uint32_t vp_index, in gic_vptimer_expire() function48 gic_vptimer_expire(gictimer, vptimer->vp_index, in gic_vptimer_cb()64 gic_vptimer_expire(gictimer, i, now); in mips_gictimer_get_sh_count()