#include "qemu-common.h"
#include "qemu/timer.h"

void qemu_clock_warp(QEMUClock *clock)
{
}