X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2F8237_dma.c;h=f13113864260a1d8cc4c8e98588c9e7adb6e216b;hb=a5d2c00cc461b4a60a1360a2a0bba55cef467bab;hp=5d9a8dab790cf9b0033a7643fc2944bf5d09d2df;hpb=37c18b2c2335a41c68c2f0b779fd2b7d51ab216d;p=palacios.git

diff --git a/palacios/src/devices/8237_dma.c b/palacios/src/devices/8237_dma.c
index 5d9a8da..f131138 100644
--- a/palacios/src/devices/8237_dma.c
+++ b/palacios/src/devices/8237_dma.c
@@ -44,9 +44,13 @@ struct vm_device * v3_create_dma() {
     struct dma_state * dma = NULL;
 
     dma = (struct dma_state *)V3_Malloc(sizeof(struct dma_state));
-    V3_ASSERT(dma != NULL);
+
+    if (!dma) {
+	PrintError(info->vm_info, info, "Cannot allocate\n");
+	return NULL;
+    }
 
     struct vm_device * dev = v3_create_device("DMA", &dev_ops, dma);
 
-    return dma;
+    return dev;
 }