fixed up includes for devices

[palacios-OLD.git] / palacios / include / devices / 8237_dma.h

diff --git a/palacios/include/devices/8237_dma.h b/palacios/include/devices/8237_dma.h
index cbd9d7e..dab0507 100644 (file)
--- a/palacios/include/devices/8237_dma.h
+++ b/palacios/include/devices/8237_dma.h
@@ -18,8 +18,10 @@
  */
 
 
-#ifndef __8237_DMA_H
-#define __8237_DMA_H
+#ifndef __DEVICES_8237_DMA_H__
+#define __DEVICES_8237_DMA_H__
+
+#ifdef __V3VEE__
 
 
 #include <palacios/vm_dev.h>
@@ -27,6 +29,6 @@
 struct vm_device * create_dma();
 
 
-
+#endif // ! __V3VEE__
 
 #endif