-
Roman Tsisyk authored
* Use statically allocated non-buffered ipc_channel * Replace ipc_channel_is_full() with ipc_channel_has_readers()
Roman Tsisyk authored* Use statically allocated non-buffered ipc_channel * Replace ipc_channel_is_full() with ipc_channel_has_readers()
