stubs/cpus-virtual-clock.c


1
2
3
4
5
6
7
8
9
10
11
12
13

#include "qemu/osdep.h"
#include "system/cpu-timers.h"
#include "qemu/main-loop.h"

int64_t cpus_get_virtual_clock(void)
{
    return cpu_get_clock();
}

void cpus_set_virtual_clock(int64_t new_time)
{
    /* do nothing */
}