X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2F8254.c;h=d7659f83a9960de7c7e0f2211c5debed535dbe1b;hb=d0652a946b5d7dcee13c9d445b103f37284059aa;hp=5944cfa597d066cdf758576c10b5e450c9cf0150;hpb=b6731d8c63a50ae8083edb56a9a726957910ec64;p=palacios.git

diff --git a/palacios/src/devices/8254.c b/palacios/src/devices/8254.c
index 5944cfa..d7659f8 100644
--- a/palacios/src/devices/8254.c
+++ b/palacios/src/devices/8254.c
@@ -736,7 +736,11 @@ static int pit_init(struct v3_vm_info * vm, v3_cfg_tree_t * cfg) {
 
     pit_state = (struct pit *)V3_Malloc(sizeof(struct pit));
 
-    V3_ASSERT(pit_state != NULL);
+    if (!pit_state) {
+	PrintError("Cannot allocate in init\n");
+	return -1;
+    }
+
     pit_state->speaker = 0;
     pit_state->vm = vm;