Update to the device framework.

[palacios.git] / palacios / include / devices / ide.h

diff --git a/palacios/include/devices/ide.h b/palacios/include/devices/ide.h
index d299827..88c593e 100644 (file)
--- a/palacios/include/devices/ide.h
+++ b/palacios/include/devices/ide.h
@@ -21,7 +21,12 @@
 #define __DEVICES_IDE_H__
 
 #ifdef __V3VEE__
-#include <palacios/vm_dev.h>
+
+
+struct ide_cfg {
+    char pci[32];
+    char southbridge[32];
+};
 
 
 #define ATAPI_BLOCK_SIZE 2048
@@ -60,8 +65,6 @@ int v3_ide_register_harddisk(struct vm_device * ide,
 
 
 
-struct vm_device * v3_create_ide();
-
 
 
 int v3_ide_get_geometry(struct vm_device * ide_dev, int channel_num, int drive_num,