Modified to make it possible for an ISR to return a mutex which did not use priority ceiling or priority inheritance protocols.