OSMutexPend - must not pend on any other event???

Hello,

The following comment appears in os_mutex.c for OSMutexPend.

"The task that owns the Mutex MUST NOT pend on any other event while it owns the mutex."

Could someone please explain the reason for the limitation?

Does "other events" include pending on a semaphores, as in, if a task owns a mutex, it should not pend on a semaphore.

I'm guessing the limitation was built in to simplify the design of priority inheritance, but there are probably other reasons as well, otherwise "other events" would have been more specific.

However, I don't see this limitation for OSSemPend and my software, which takes a mutex and then pends on a semaphore, seems to be behaving correctly.

Thanks!