Searched refs:receive_eof (Results 1 – 2 of 2) sorted by relevance
63 receive_eof(s); in task_run()114 receive_eof(int s) in receive_eof() function
28 void receive_eof(int);