1#include "qemu/osdep.h"
2#include "qemu/timer.h"
3
4void qemu_start_warp_timer(void)
5{
6}
7
8