20 static void gic_vptimer_update(MIPSGICTimerState *gictimer,  in gic_vptimer_update()
33 static void gic_vptimer_expire(MIPSGICTimerState *gictimer, uint32_t vp_index,  in gic_vptimer_expire()
47     MIPSGICTimerState *gictimer = vptimer->gictimer;  in gic_vptimer_cb()  local
52 uint32_t mips_gictimer_get_sh_count(MIPSGICTimerState *gictimer)  in mips_gictimer_get_sh_count()
71 void mips_gictimer_store_sh_count(MIPSGICTimerState *gictimer, uint64_t count)  in mips_gictimer_store_sh_count()
89 uint32_t mips_gictimer_get_vp_compare(MIPSGICTimerState *gictimer,  in mips_gictimer_get_vp_compare()
95 void mips_gictimer_store_vp_compare(MIPSGICTimerState *gictimer,  in mips_gictimer_store_vp_compare()
103 uint8_t mips_gictimer_get_countstop(MIPSGICTimerState *gictimer)  in mips_gictimer_get_countstop()
108 void mips_gictimer_start_count(MIPSGICTimerState *gictimer)  in mips_gictimer_start_count()
114 void mips_gictimer_stop_count(MIPSGICTimerState *gictimer)  in mips_gictimer_stop_count()
131     MIPSGICTimerState *gictimer = g_new(MIPSGICTimerState, 1);  in mips_gictimer_init()  local