Searched refs:read_xen_timer (Results 1 – 1 of 1) sorted by relevance
574 static uint64_t read_xen_timer(void) in read_xen_timer() function608 .read_counter = read_xen_timer,984 return wc_sec + read_xen_timer() / 1000000000; in get_wallclock_time()
Completed in 5 milliseconds