version 1.1, 2008/07/18 21:21:48 |
version 1.2, 2008/07/20 20:49:10 |
|
|
* SUCH DAMAGE. |
* SUCH DAMAGE. |
*/ |
*/ |
|
|
#ifndef _GBA_PLATFORM_H |
#ifndef _CATS_PLATFORM_H |
#define _GBA_PLATFORM_H |
#define _CATS_PLATFORM_H |
|
|
/* |
/* |
* Memory location |
* Memory location |
|
|
|
|
#define PAGE_OFFSET 0x00000000 |
#define PAGE_OFFSET 0x00000000 |
|
|
#define KERNEL_BASE 0x02000000 |
#define KERNEL_BASE 0x00200000 |
#define KERNEL_MAX 0x02400000 |
#define KERNEL_MAX 0x00400000 /* 2M */ |
#define USER_BASE 0x02000000 |
#define USER_BASE 0x00400004 /* 2M + 4 */ |
#define USER_MAX 0x02040000 |
#define USER_MAX 0x02000000 /* 32M */ |
|
|
#define BOOT_INFO 0x00200000 |
#define BOOT_INFO 0x03f00000 /* 63M */ |
#define BOOT_STACK 0x00300000 |
#define BOOT_STACK 0x03f00800 /* 63M + BOOT_INFO_SIZE */ |
#define INT_STACK 0x00307900 |
#define INT_STACK 0x03f02800 /* BOOT_STACK + 8K */ |
#define SYS_STACK 0x0033ff00 |
#define SYS_STACK 0x03f04800 /* INT_STACK + 8K */ |
|
|
#ifndef __ASSEMBLY__ |
#ifndef __ASSEMBLY__ |
|
|
|
|
extern void machine_init(void); |
extern void machine_init(void); |
|
|
#endif /* !__ASSEMBLY__ */ |
#endif /* !__ASSEMBLY__ */ |
#endif /* !_GBA_PLATFORM_H */ |
#endif /* !_CATS_PLATFORM_H */ |