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