| /branches/arm/kernel/arch/arm32/src/mm/memory_init.c |
|---|
| 34,15 → 34,12 |
| #include <arch/mm/memory_init.h> |
| #include <arch/mm/page.h> |
| #include "../aux_print/printf.h" |
| #include <arch/drivers/gxemul.h> |
| #define GXEMUL_MP_ADDRESS 0x11000000 |
| #define GXEMUL_MP_MEMSIZE_OFFSET 0x0090 |
| size_t get_memory_size(void) |
| { |
| //TODO preprocessor don't work |
| #if MACHINE == gxemul |
| return *((int*)(GXEMUL_MP_ADDRESS+GXEMUL_MP_MEMSIZE_OFFSET)); |
| #if MACHINE == MACHINE_GXEMUL_TESTARM |
| return gxemul_get_memory_size(); |
| #endif |
| } |