l4x_hybrid_return for ovlscreen driver

Adam Lackorzynski adam at os.inf.tu-dresden.de
Wed Nov 21 12:53:14 CET 2007

On Wed Nov 21, 2007 at 10:31:47 +0100, Marc CHALAND wrote:
> 2007/11/18, Adam Lackorzynski <adam at os.inf.tu-dresden.de>:
> >
> > You did use gcc-4.1.1-something, right? Could you use some recent
> > gcc-4.2 and retest? That would be interesting.
> I tried gcc-4.2.2 and result is the same.
> I also tried to push some 0xdeadbeef into the stack of calling ipc
> (code of l4_ipc_call_tag into ipc-l42-gcc3-pic.h). When pf occurs, I
> don't find the markers into the stack of X thread. Maybe stack is
> corrupted or I don't understand what happens ?
> Have you some hint, tips to understand what happens ?

Are you using 2k or 4k stack in Fiasco? If 2k, try 4k. Also, there's a
stack depth debugging feature, i.e. when you look at the thread list
there's figure how much stack is used. You could look at those figure
too. I'd suspect inlining is using a bit more stack than without

Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list