#include "qemu/osdep.h"
#include "qemu-common.h"
#include "qemu/timer.h"
void qemu_start_warp_timer(void)
{
}