More mapping issues.

Daniel Waddington waddy16925 at ...9...
Wed Jul 17 03:15:18 CEST 2013

Found the map<Mem_space> func in map_util.cpp (will track further). 
Advice on this still welcome!


On 07/16/2013 05:09 PM, Daniel Waddington wrote:
> 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
> ------------------------------------------------------------------------------
> See everything from the browser to the database with AppDynamics
> Get end-to-end visibility with application monitoring from AppDynamics
> Isolate bottlenecks and diagnose root cause in seconds.
> Start your free trial of AppDynamics Pro today!
> _______________________________________________
> Genode-main mailing list
> Genode-main at

More information about the users mailing list