title: How does VxWorks deal with priority inheritance?
body: <p>We have 3 tasks running at different priorities: A (120), B (110), C (100).
  A takes a mutex semaphore with the Inversion Safe flag.
  Task B does a semTake, which causes Task A's priority to be elevated to 110.
  Later, task C does a semTake. Task A's priority is now 100.</p>
  
  <p>At this point, A releases the semaphore and C grabs it.
  We notice that A's priority did not go back down to its original priority of 120.
  Shouldn't A's priority be restored right away?</p>