*/
#include "hw.h"
+#include "boards.h"
+#include "exec-all.h"
+#include "qemu-xen.h"
#include <xen/hvm/params.h>
#include <sys/mman.h>
#endif /* defined(MAPCACHE) */
-static void xen_init_fv(uint64_t ram_size, int vga_ram_size, char *boot_device,
- DisplayState *ds, const char **fd_filename,
- int snapshot,
- const char *kernel_filename,
- const char *kernel_cmdline,
- const char *initrd_filename,
+static void xen_init_fv(ram_addr_t ram_size, int vga_ram_size,
+ const char *boot_device, DisplayState *ds,
+ const char *kernel_filename,const char *kernel_cmdline,
+ const char *initrd_filename, const char *cpu_model,
const char *direct_pci)
{
unsigned long ioreq_pfn;
timeoffset_get();
- pc_machine.init(ram_size, vga_ram_size, boot_device, ds, fd_filename,
- snapshot, kernel_filename, kernel_cmdline, initrd_filename,
- direct_pci);
+ pc_machine.init(ram_size, vga_ram_size, boot_device, ds,
+ kernel_filename, kernel_cmdline, initrd_filename,
+ cpu_model, direct_pci);
}
QEMUMachine xenfv_machine = {
--- /dev/null
+#ifndef QEMU_XEN_H
+#define QEMU_XEN_H
+
+/* xen_machine_fv.c */
+
+#if (defined(__i386__) || defined(__x86_64__)) && !defined(QEMU_TOOL)
+#define MAPCACHE
+uint8_t *qemu_map_cache(target_phys_addr_t phys_addr);
+void qemu_invalidate_map_cache(void);
+#else
+#define qemu_invalidate_map_cache() ((void)0)
+#endif
+
+#define mapcache_lock() ((void)0)
+#define mapcache_unlock() ((void)0)
+
+/* helper2.c */
+extern long time_offset;
+void timeoffset_get(void);
+
+/* xen_platform.c */
+#ifndef QEMU_TOOL
+void pci_xen_platform_init(PCIBus *bus);
+#endif
+
+#endif /*QEMU_XEN_H*/