On 07.09.2013 10:46:18, Samuel Thibault wrote: > > And in the end mqueue never get's really used in the > > ipc_port_set_seqno(). > > It is, for locking.
That's what I mean by "not functional". I claim it doesn't perform locking in that one special case. But I was too hasty with the patch, I'll be back with a detailed bug (if there is one) report so we can discuss this further.