Changed the x86 architecture to have tPAddr be 64-bits always
[tpg/acess2.git] / Kernel / arch / x86 / include / mm_virt.h
1 /*
2  * Acess2
3  * - Virtual Memory Manager (Header)
4  */
5 #ifndef _MM_VIRT_H
6 #define _MM_VIRT_H
7
8 // === FUNCTIONS ===
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();
16
17 #endif

UCC git Repository :: git.ucc.asn.au