Searched refs:gic_vptimer_update (Results 1 – 1 of 1) sorted by relevance
20 static void gic_vptimer_update(MIPSGICTimerState *gictimer, in gic_vptimer_update() function41 gic_vptimer_update(gictimer, vp_index, now); in gic_vptimer_expire()84 gic_vptimer_update(gictimer, i, now); in mips_gictimer_store_sh_count()99 gic_vptimer_update(gictimer, vp_index, in mips_gictimer_store_vp_compare()