added back in 32 bit support

[palacios.git] / palacios / src / devices / 8237_dma.c

diff --git a/palacios/src/devices/8237_dma.c b/palacios/src/devices/8237_dma.c
index 40787a7..5d9a8da 100644 (file)
--- a/palacios/src/devices/8237_dma.c
+++ b/palacios/src/devices/8237_dma.c
@@ -33,9 +33,8 @@ static int dma_init(struct vm_device * dev) {
 
 
 
-static struct vm_device_ops dev_ops = {
-    .init = dma_init,
-    .deinit = NULL,
+static struct v3_device_ops dev_ops = {
+    .free = NULL,
     .reset = NULL,
     .start = NULL,
     .stop = NULL,