3 * ARM7 Architecture Header
9 #define INVLPTR ((void*)-1)
11 #define PAGE_SIZE 0x1000
12 #define KERNEL_BASE 0x80000000 // 2GiB
15 typedef unsigned int Uint;
16 typedef unsigned char Uint8;
17 typedef unsigned short Uint16;
18 typedef unsigned long Uint32;
19 typedef unsigned long long Uint64;
20 typedef signed int Sint;
21 typedef signed char Sint8;
22 typedef signed short Sint16;
23 typedef signed long Sint32;
24 typedef signed long long Sint64;
29 typedef Uint32 tVAddr;
30 typedef Uint32 tPAddr;
35 extern void Debug_PutCharDebug(char Ch);
36 extern void Debug_PutStringDebug(const char *String);
38 // This should be elsewhere, but CBF
39 extern void MM_SetupPhys(void);
40 extern int MM_InitialiseVirtual(void);