sock: Make sure that then there is no event available and there are no available receive buffers, get_event() returns CCI_ENOBUFS.