void function ( ) { messageSent . V ( ) ; }
called when a packet has been sent and another can be queued to the network link . note that this is called even if the previous packet was dropped . concode_field_sep Lock sendLock concode_elem_sep boolean isFree concode_elem_sep SpecialSynchList[] queues concode_elem_sep Semaphore messageReceived concode_elem_sep Lock portLock concode_elem_sep Semaphore messageSent concode_elem_sep char dbgNet concode_elem_sep SynchList synchList concode_field_sep NetMessage receive concode_elem_sep void postalDelivery concode_elem_sep void receiveInterrupt concode_elem_sep void markPortAsUsed concode_elem_sep void send concode_elem_sep int findAvailablePort