#define BITS 64
#define PAGE_SIZE 0x1000
+#ifndef MAX_CPUS
+# define MAX_CPUS 8
+#endif
+
#define STACKED_LOCKS 2 // 0: No, 1: Per-CPU, 2: Per-Thread
#define LOCK_DISABLE_INTS 0
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);
+extern void __AtomicTestSetLoop(Uint *Ptr, Uint Value);
#endif