rio_destid_free — free a previously allocated destID
void rio_destid_free (
)
net
RIO network
destid
destID to free
Makes the specified destID available for use.