Searched refs:do_tval_read (Results 1 – 1 of 1) sorted by relevance
2670 static uint64_t do_tval_read(CPUARMState *env, int timeridx, uint64_t offset) in do_tval_read() function 2681 return do_tval_read(env, timeridx, offset); in gt_tval_read() 2838 return do_tval_read(env, GTIMER_VIRT, env->cp15.cntvoff_el2); in gt_virt_tval_read()