typedef Uint64 tPAddr;
typedef Uint64 tVAddr;
-typedef Uint64 size_t;
typedef char BOOL;
#define __ASM__ __asm__ __volatile__
extern void Debug_PutCharDebug(char ch);
extern void Debug_PutStringDebug(const char *Str);
-// TODO: Move this to acess.h
-extern tPAddr MM_AllocateZero(tVAddr VAddr);
-
#endif