2009-04-22 17:19:44 +02:00
|
|
|
#ifndef QEMU_HW_XEN_DOMAINBUILD_H
|
|
|
|
#define QEMU_HW_XEN_DOMAINBUILD_H 1
|
|
|
|
|
2013-02-05 17:06:20 +01:00
|
|
|
#include "hw/xen/xen_common.h"
|
2009-04-22 17:19:44 +02:00
|
|
|
|
|
|
|
int xenstore_domain_init1(const char *kernel, const char *ramdisk,
|
|
|
|
const char *cmdline);
|
|
|
|
int xenstore_domain_init2(int xenstore_port, int xenstore_mfn,
|
|
|
|
int console_port, int console_mfn);
|
|
|
|
int xen_domain_build_pv(const char *kernel, const char *ramdisk,
|
|
|
|
const char *cmdline);
|
|
|
|
|
|
|
|
#endif /* QEMU_HW_XEN_DOMAINBUILD_H */
|