Jan Kiszka wrote: > Intermediate helper as long as skins implement fast locking and related > owner tracking on their own: Add 'forward XN_ROBBED state' to the caller > of xnsynch_sleep_on so that the correct owner can be looked up there.
Nak. We already discussed this with Philippe, XNROBBED is an internal thing for xnsynch and should not leak to skins code. I actually happen to find the current workaround cleaner. -- Gilles. _______________________________________________ Xenomai-core mailing list Xenomai-core@gna.org https://mail.gna.org/listinfo/xenomai-core