4 * ARM7 Physical Memory Manager
12 #define MM_NUM_RANGES 1 // Single range
13 #define MM_RANGE_MAX 0
14 #define TRACE_ALLOCS 0
16 #define NUM_STATIC_ALLOC 4
18 char gStaticAllocPages[NUM_STATIC_ALLOC][PAGE_SIZE] __attribute__ ((section(".padata")));
19 tPAddr gaiStaticAllocPages[NUM_STATIC_ALLOC] = {
20 (tPAddr)(&gStaticAllocPages[0]) - KERNEL_BASE,
21 (tPAddr)(&gStaticAllocPages[1]) - KERNEL_BASE,
22 (tPAddr)(&gStaticAllocPages[2]) - KERNEL_BASE,
23 (tPAddr)(&gStaticAllocPages[3]) - KERNEL_BASE
25 extern char gKernelEnd[];
27 #include <tpl_mm_phys_bitmap.h>
29 void MM_SetupPhys(void)
31 MM_Tpl_InitPhys( 16*1024*1024/0x1000, NULL );
34 int MM_int_GetMapEntry( void *Data, int Index, tPAddr *Start, tPAddr *Length )
39 *Start = ((tVAddr)&gKernelEnd - KERNEL_BASE + 0xFFF) & ~0xFFF;
40 *Length = 16*1024*1024 - *Start;
48 * \brief Takes a physical address and returns the ID of its range
49 * \param Addr Physical address of page
50 * \return Range ID from eMMPhys_Ranges
52 int MM_int_GetRangeID( tPAddr Addr )
54 return MM_RANGE_MAX; // ARM doesn't need ranges