-extern tPAddr MM_Allocate(Uint VAddr);
-extern void MM_Deallocate(Uint VAddr);
-extern int MM_Map(Uint VAddr, tPAddr PAddr);
-extern Uint MM_Clone();
-extern Uint MM_NewKStack();
-extern Uint MM_NewWorkerStack();
+extern tPAddr MM_Allocate(tVAddr VAddr);
+extern void MM_Deallocate(tVAddr VAddr);
+extern int MM_Map(tVAddr VAddr, tPAddr PAddr);
+extern tPAddr MM_Clone();
+extern tVAddr MM_NewKStack();
+extern tVAddr MM_NewWorkerStack();