X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fgeekos%2Fvmm_stubs.c;h=0bc48e30f63e0d7a514e6f7d7f974db1ce50fab3;hp=4c370333db3c72255fc3d4f8457d499aecafea5f;hb=a109eb919a162bd7de58d62020801bc2e633be50;hpb=5ad0c835a5bd7181a7a342478bd398ad73712306

diff --git a/palacios/src/geekos/vmm_stubs.c b/palacios/src/geekos/vmm_stubs.c
index 4c37033..0bc48e3 100644
--- a/palacios/src/geekos/vmm_stubs.c
+++ b/palacios/src/geekos/vmm_stubs.c
@@ -36,8 +36,8 @@ void Free_VMM_Page(void * page) {
 }
 
 
-void * VMM_Malloc(uint_t size) {
-  return Malloc((ulong_t) size);
+void * VMM_Malloc(unsigned int size) {
+  return Malloc((unsigned long) size);
 }