Adam Lackorzynski adam at os.inf.tu-dresden.de
Mon Sep 23 23:32:10 CEST 2002


On Mon Sep 23, 2002 at 01:06:56 +0000, Alexey Mandrookin wrote:
> I found strange behaviour of l4_i386_ipc_wait().
> In case of interrupt IPC, it return wrong value
> of the thread id of IPC source.

You're waiting for a specific interrupt, how useful it is to know the
"source" if you already have the dest id (this specific interrupt)?

If you're waiting for an interrupt, use ipc_receive, don't care about
source stuff (also see p. 29 of the L4-V2 ref manual).

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

More information about the l4-hackers mailing list