Searched refs:do_tval_write (Results 1 – 1 of 1) sorted by relevance
1524 static void do_tval_write(CPUARMState *env, int timeridx, uint64_t value, in do_tval_write() function1539 do_tval_write(env, timeridx, value, offset); in gt_tval_write()1685 do_tval_write(env, GTIMER_VIRT, value, env->cp15.cntvoff_el2); in gt_virt_tval_write()