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