problem about ipc
Marcus Haehnel
mhaehnel at os.inf.tu-dresden.de
Mon Jul 9 07:38:18 CEST 2012
Hi,
Am 2012-07-09 04:44, schrieb gaober:
> hi!
> 1.i find there is l4_ipc_error( ) ops like that in .h files,but
> where
> can i find the
> implementation of that func?
As the function is inlined, its implementation is in the very same
header file (pkg/l4sys/include/ipc.h). It just returns the error code,
stored in the utcb, which was set during IPC.
> 2.l4_ipc_error( ),return 4,i look up in l4re document it means
> L4_ENOT_EXISTENT.but how can i solve that?
The documentation in the header file (pkg/l4sys/include/ipc.h) is quite
clear about the error source:
L4_IPC_ENOT_EXISTENT = 0x04, /**< Non-existing destination or
source.
could you please give us a minimal code example (including the lua
script and both communcation partners) that causes this? You
communication partner has probably terminated or something like that.
- Marcus
> thanks!
>
> 发自 Android 版 Yahoo! 邮箱
More information about the l4-hackers
mailing list