1 #ifndef QEMU_HW_XEN_DOMAINBUILD_H
2 #define QEMU_HW_XEN_DOMAINBUILD_H
4 #include "hw/xen/xen_common.h"
6 int xenstore_domain_init1(const char *kernel
, const char *ramdisk
,
8 int xenstore_domain_init2(int xenstore_port
, int xenstore_mfn
,
9 int console_port
, int console_mfn
);
10 int xen_domain_build_pv(const char *kernel
, const char *ramdisk
,
13 #endif /* QEMU_HW_XEN_DOMAINBUILD_H */