| 1260 | } |
| 1261 | |
| 1262 | rt_err_t rt_channel_peek(int fd, rt_channel_msg_t data) |
| 1263 | { |
| 1264 | return lwp_channel_recv_timeout(FDT_TYPE_KERNEL, fd, data, 0); |
| 1265 | } |
| 1266 | |
| 1267 | static int list_channel(void) |
| 1268 | { |
nothing calls this directly
no test coverage detected