#include "cpu.h"
#include "exec-all.h"
+#include "hw.h"
+#include "pci.h"
+#include "console.h"
+#include "qemu-timer.h"
+#include "sysemu.h"
+#include "qemu-xen.h"
//#define DEBUG_MMU
}
//some functions to handle the io req packet
-void sp_info()
+void sp_info(void)
{
ioreq_t *req;
int i;
time_offset += (unsigned long)req->data;
- fprintf(logfile, "Time offset set %ld, added offset %ld\n", time_offset, req->data);
+ fprintf(logfile, "Time offset set %ld, added offset %lld\n", time_offset, req->data);
sprintf(b, "%ld", time_offset);
xenstore_vm_write(domid, "rtc/timeoffset", b);
}
fprintf(logfile, "shutdown requested in cpu_handle_ioreq\n");
destroy_hvm_domain();
}
- if (reset_requested) {
+ if (qemu_reset_requested()) {
fprintf(logfile, "reset requested in cpu_handle_ioreq.\n");
qemu_system_reset();
- reset_requested = 0;
}
}
void pci_xen_platform_init(PCIBus *bus);
#endif
+
+void destroy_hvm_domain(void);
+
#ifdef __ia64__
static inline void xc_domain_shutdown_hook(int xc_handle, uint32_t domid)
{