X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_xml.c;h=d6963c8bdfbb51eb8dd11551a90780c098ffe12e;hb=5c16780e3eb5e4ef59de8e929e2528bb07fce5ec;hp=391c9e46f14ff8e666a3f794bbdbf96d47b1adb2;hpb=43ad442bb80368840b97aa2e099a672ca6f7569b;p=palacios-OLD.git

diff --git a/palacios/src/palacios/vmm_xml.c b/palacios/src/palacios/vmm_xml.c
index 391c9e4..d6963c8 100644
--- a/palacios/src/palacios/vmm_xml.c
+++ b/palacios/src/palacios/vmm_xml.c
@@ -62,7 +62,7 @@ struct v3_xml_root {       // additional data for the root tag
 static char * empty_attrib_list[] = { NULL }; // empty, null terminated array of strings
 
 
-static void * tmp_realloc(void * old_ptr, uint_t old_size, uint_t new_size) {
+static void * tmp_realloc(void * old_ptr, size_t old_size, size_t new_size) {
     void * new_buf = V3_Malloc(new_size);
 
     if (new_buf == NULL) {