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