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

diff --git a/palacios/src/devices/8237_dma.c b/palacios/src/devices/8237_dma.c
index 5d9a8da..0467c63 100644
--- a/palacios/src/devices/8237_dma.c
+++ b/palacios/src/devices/8237_dma.c
@@ -44,7 +44,11 @@ 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("Cannot allocate\n");
+	return NULL;
+    }
 
     struct vm_device * dev = v3_create_device("DMA", &dev_ops, dma);