omap4430 mem

在文件vmalloc.h （in   mach-omap2) 定义了

#define VMALLOC_END  (PAGE_OFFSET + 0x38000000)

static unsigned long __initdata vmalloc_reserve = SZ_128M;

#define SZ_128M                         0x08000000

so VMALLOC_MIN should be 0xC0000000 + 0x38000000- 0x08000000= 0xf0000000

so 0xf0000000 - 0xc0000000 = 0x30000000 = 768M

but omap4 mem = 512 + 456 = 968M

omap4 物理内存配置：

mem=456M@0x80000000 mem=512M@0xA0000000

在文件memory.h (in plat-omap) 

#define PHYS_OFFSET UL(0x80000000)

#define __virt_to_phys(x) ((x) - PAGE_OFFSET + PHYS_OFFSET)

#define __phys_to_virt(x) ((x) - PHYS_OFFSET + PAGE_OFFSET)

#define VMALLOC_MIN (void *)(VMALLOC_END - vmalloc_reserve)