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