Searched refs:ws_dispatch (Results 1 – 7 of 7) sorted by relevance
48 ws_dispatch(Int FD, Any timeout) in ws_dispatch() function
429 { ws_dispatch(DEFAULT, DEFAULT); in ws_write_stream_data()585 { ws_dispatch(DEFAULT, DEFAULT); in ws_read_process()
184 return ws_dispatch(fd, timeout); in dispatchDisplayManager()
85 ws_dispatch(Int FD, Any timeout) in ws_dispatch() function
140 COMMON(status) ws_dispatch(Int FD, Any timeout);
483 if ( !ws_dispatch(DEFAULT, use_timeout ? toInt(left) : NIL) ) in getReadLineStream()
636 ws_dispatch(toInt(fd), toInt(time)); in pceDispatch()