-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();
+extern tPAddr MM_Clone(void);
+extern tVAddr MM_NewKStack(void);
+extern tVAddr MM_NewWorkerStack(void);