When ISR calls os_mut_wait() the processor generates an exception.
Is os_mut_wait() prohibited from being called from an ISR?
"Is os_mut_wait() prohibited from being called from an ISR?"
Yes, it most definitely is.
Quote: "Functions that begin with os_ can be called from a task but not from an interrupt service routine."
www.keil.com/.../rlarm_ar_using_hints.htm