(Revision 0 - 12 October 2000)
Overview
unblock pending sender
thread was put in pending state (L5.5 p.54) when message
couldn't be delivered right away because receiver wasn't ready to receive it
just before entry to this routine, pending_restart popped
form TOS (by to_next_thread L5.8 l5,6 p52)
| 0 | all state stacked in pending restored |
| 1,2 | remove this sender from receiver's send Q (list of pending senders to receiving thread |
| 3,4 | change this sender's state to READY |
| 5,6 | branch to deliver |
Note: k_ipc prologue had blocked this thread at l16 or l20 L5.1 p48