(Revision 0 - 27 November 2000)
overview do_long_ipc
is a C program. :-)
The prologue establishes formal parameters, initializes 3 variables and stores
tcb fine state and com partners.
| 0-5 | the six formal parameters are initialized to contents of a0-a5. a1-a5 are given values in lines 47-51 of ipc_long and a0 is set in the initial user call |
| 6-10 | r is declared ultimately) as an unsigned long (64-bit int)
and v0 is stored in it window_addr is also defined as a 64-bit int and initialized to 0 |
| 11-14 | source tcb state us set to performing a send and READY destination tcb state is set to performing a receive source tcb com partner is set to destination destination tcb com partner is set to source |