Searched refs:get_current_virtual_time (Results 1 – 1 of 1) sorted by relevance
82 static uint64_t get_current_virtual_time(renode_t *renode) in get_current_virtual_time() function97 vt0 = get_current_virtual_time(renode); in start_virtual_time_check()102 uint64_t vt1 = get_current_virtual_time(renode); in stop_virtual_time_check()