memory on ARM

[hong zhang]

List,

My TI board has two memory ports at 0x80000000 and 0xC0000000. 1024Mbytes DDR2 connects at port 0x80000000 and nothing at 0xC000000. I assume Linux should not count any thing if 128M at 0xC000000 in kernel command line. 

Problems:

1. Boot log ignores 128M at 0xC000000, but total memory is Memory: "1102MB =  
   1102MB total NOT 1024M". 
2. Truncating RAM at 80000000-bfffffff to -afffffff (vmalloc region 
   overlap). It says it only gets 768M NOT 124M.

Any idea? See following boot log.

Uncompressing Linux... done, booting the kernel.
Linux version 2.6.37-rc3-24124-gde15396 (x0029463 at psplinux050) (gcc version 4.3.3 (Sourcery G++ Lite 2009q1-203) ) #1 Thu Dec0
CPU: ARMv7 Processor [413fc082] revision 2 (ARMv7), cr=10c53c7f
CPU: VIPT nonaliasing data cache, VIPT aliasing instruction cache
Machine: ti8168evm
vram size = 52428800 at 0
bootconsole [earlycon0] enabled
reserved size = 52428800 at 0
FB: Reserving 52428800 bytes SDRAM for VRAM
Memory policy: ECC disabled, Data cache writeback
Truncating RAM at 80000000-bfffffff to -afffffff (vmalloc region overlap).
Ignoring RAM at c0000000-c7ffffff (vmalloc region overlap).
OMAP chip is TI8168
pcpu-alloc: s0 r0 d32768 u32768 alloc=1*32768
pcpu-alloc: [0] 0 
Built 1 zonelists in Zone order, mobility grouping on.  Total pages: 195072
Kernel command line: console=ttyO2,115200n8 root=/dev/mtdblock7 rw rootfstype=jffs2 mem=1024M at 0x80000000 mem=128M at 0xC0000000
 vram=50M earlyprintk
PID hash table entries: 4096 (order: 2, 16384 bytes)
Dentry cache hash table entries: 131072 (order: 7, 524288 bytes)
Inode-cache hash table entries: 65536 (order: 6, 262144 bytes)
Memory: 1102MB = 1102MB total
Memory: 774748k/774748k available, 11684k reserved, 0K highmem
Virtual kernel memory layout:
    vector  : 0xffff0000 - 0xffff1000   (   4 kB)
    fixmap  : 0xfff00000 - 0xfffe0000   ( 896 kB)
    DMA     : 0xffc00000 - 0xffe00000   (   2 MB)
    vmalloc : 0xf0800000 - 0xf8000000   ( 120 MB)
    lowmem  : 0xc0000000 - 0xf0000000   ( 768 MB)
    modules : 0xbf000000 - 0xc0000000   (  16 MB)
      .init : 0xc0008000 - 0xc0035000   ( 180 kB)
      .text : 0xc0035000 - 0xc0428000   (4044 kB)
      .data : 0xc0428000 - 0xc0462c40   ( 236 kB)
SLUB: Genslabs=11, HWalign=64, Order=0-3, MinObjects=0, CPUs=1, Nodes=1
NR_IRQS:400
GPMC revision 6.0

Thanks.

---Henry