@@ -1,3 +1,6 @@
+#ifndef COMMON__DECOMPRESS_H
+#define COMMON__DECOMPRESS_H
+
#ifdef __XEN__
#include <xen/cache.h>
@@ -23,3 +26,5 @@
#define large_free free
#endif
+
+#endif /* COMMON__DECOMPRESS_H */
@@ -1,5 +1,8 @@
/* Event channel handling private header. */
+#ifndef COMMON__EVENT_CHANNEL_H
+#define COMMON__EVENT_CHANNEL_H
+
#include <xen/event.h>
static inline unsigned int max_evtchns(const struct domain *d)
@@ -52,6 +55,8 @@ int evtchn_fifo_init_control(struct evtchn_init_control *init_control);
int evtchn_fifo_expand_array(const struct evtchn_expand_array *expand_array);
void evtchn_fifo_destroy(struct domain *d);
+#endif /* COMMON__EVENT_CHANNEL_H */
+
/*
* Local variables:
* mode: C