X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_string.c;h=01c408c8c3ccbd10bd98cd81b2591e8e9ba97b86;hb=6fa605075d1944da0a88a389122ea24bbc583329;hp=af102f71c81e12121a2ef4c5ec77d36e3b5d3ac5;hpb=b7093fd3602ef2c796a1f8a0daded9d6aad0b756;p=palacios.git

diff --git a/palacios/src/palacios/vmm_string.c b/palacios/src/palacios/vmm_string.c
index af102f7..01c408c 100644
--- a/palacios/src/palacios/vmm_string.c
+++ b/palacios/src/palacios/vmm_string.c
@@ -73,7 +73,7 @@ void * memmove(void * dst, const void * src, size_t n) {
     uint8_t * tmp = (uint8_t *)V3_Malloc(n);
 
     if (!tmp) {
-	PrintError("Cannot allocate in built-in memmove\n");
+	PrintError(info->vm_info, info, "Cannot allocate in built-in memmove\n");
 	return NULL;
     }
     
@@ -292,7 +292,7 @@ char * strdup(const char * s1) {
     ret = V3_Malloc(strlen(s1) + 1);
 
     if (!ret) {
-	PrintError("Cannot allocate in built-in strdup\n");
+        PrintError(VM_NONE, VCORE_NONE, "Cannot allocate in built-in strdup\n");
 	return NULL;
     }