More mapping issues.

[Daniel Waddington]

Hi,
I am still struggling with memory mapping issues.  Unfortunately I 
cannot give a simple test case.  We have a large memory hungry 
programming running on x86_64 Fiasco.OC.  During the initialization of 
memory (using sub-rm dataspace and attach mappings) we suddenly (mid-way 
through) get "Ipc error 16 in pagefault from 0".

Looking up error code 16, I see its L4_IPC_SEMAPFAILED which suggests 
that the implicit IPC send mapping of the flex page failed in the 
kernel. Is this correct?

Kernel func map<Mem_space> is failing but I can't find the 
implementation to track it further. Anyone know where it is?

Also, any advice on how to go about diagnosing this?

Thanks
Daniel