[okl4-developer] problem in the code with SYS_IPC

Nelson Tam nelson at ok-labs.com
Thu May 8 19:53:06 EST 2008


Hi Charles,

On 07/05/2008, at 11:26 PM, Charles.VANWITTENBERGHE at fr.thalesgroup.com  
wrote:
> I'm using the 1.5.2 version. The error message might be "specified  
> thread id
> invalid"


Would you be able to attach some of the error message so we know where  
we could start?

Also, in userland after you make a call to L4_Ipc(), you can check  
whether the IPC has succeeded by:

blah()
{
	L4_Word_t failed_phase, ipc_error_code;

	L4_Ipc(); /* includes L4_Send(), L4_Call(), L4_ReplyWait() etc... */

	failed_phase = L4_IpcError(L4_ErrorCode(), &ipc_error_code);
}

Please see libs/l4/include/types.h for numerical definitions.

 From your description, though, it looks like the error occurred in  
the kernel?  Please clarify.
--
(nt)

Nelson Tam

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 1560 bytes
Desc: not available
Url : http://lists.okl4.org/pipermail/developer/attachments/20080508/d9120629/attachment.bin 


More information about the Developer mailing list