l4x_hybrid_return for ovlscreen driver

[Marc CHALAND]

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 ?

Regards
Marc