1 #include "qemu/osdep.h"
2 #include "sysemu/cpu-timers.h"
3 #include "qemu/main-loop.h"
4 
5 int64_t cpus_get_virtual_clock(void)
6 {
7     return cpu_get_clock();
8 }
9