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