3 * - Virtual Memory Manager (Header)
9 extern void MM_SetCR3(Uint32 CR3);
10 extern tPAddr MM_Allocate(tVAddr VAddr);
11 extern void MM_Deallocate(tVAddr VAddr);
12 extern int MM_Map(tVAddr VAddr, tPAddr PAddr);
13 extern tPAddr MM_Clone();
14 extern tVAddr MM_NewKStack();
15 extern tVAddr MM_NewWorkerStack();