1 #include "qemu/osdep.h" 2 #include "system/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 10 void cpus_set_virtual_clock(int64_t new_time) 11 { 12 /* do nothing */ 13 } 14