1 #include "qemu/osdep.h" 2 #include "qemu/timer.h" 3 4 int64_t cpu_get_clock(void) 5 { 6 return get_clock_realtime(); 7 } 8