- Fixe the xenstore headers.

diff --git a/xen-config-host.h b/xen-config-host.h
index c6da4b3a05d94ed0580be072ab76f8a37233260f..4ad1eb7b9eafd2933f8733f38e6235e5e5451723 100644 (file)
--- a/xen-config-host.h
+++ b/xen-config-host.h
@@ -46,3 +46,10 @@ extern struct BlockDriver bdrv_vbd;
 struct CharDriverState;
 void xenstore_store_serial_port_info(int i, struct CharDriverState *chr,
                                     const char *devname);
+char *xenstore_read_dom0_driver(const char *key);
+int xenstore_write_dom0_driver(const char *key, int val);
+
+char *xenstore_dom_read(int domid, char *key, unsigned long *len);
+int xenstore_dom_write(int domid, char *key, char *value);
+
+int *xenstore_get_domids(int *len);