Problem accessing shared memory on P1022RDK dual core.

Greetings All,

Please excuse me for a 'not very precise' question but I just need some clue or point to look for the trouble.
I am running linux in AMP configuration on P1022RDK dual core. My memory partitioning is given below

Total system memory = 0x2000,0000 (512 MB)

Core 0
Base Address = CONFIG_PHYSICAL_START = 0x0000,0000 Size = bootm_low = 0x1000,0000

Core 1
Base Address = CONFIG_PHYSICAL_START = 0x1000,0000 Size = bootm_low = 0x0C00,0000

Shared Memory
Start = 0x1C00,0000 Size = 0x0400,0000

I have set bootm_low / bootm_size and provided mem parameter in both kernel configurations, both
kernels are booting up fine. I have a shared memory driver running in both cores. My shared memory
driver just exposes the physical memory (0x1C00,0000) to user-space.

The problem I am facing is I can not get access to same shared memory in user-space on both kernels.
I have verified my shared memory driver on another platform (p1022ds) and it works perfect. I have also
tried using non-cached memory mapping in shared memory driver but that does not work as well.

To me it seems one of my kernels is going beyond its defined memory partition (which I have set above), I have
set kernel's partitioning as CONFIG_PHYSICAL_START, bootm_size, bootm_low and mem kernel boot param.

Besides the shared memory driver, can anyone suggest or give me clue where should I look for the
trouble in the kernel.

Regards,
Farrukh Arshad.