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

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);
 }