* @brief Closes an open communication channel. * * This system call is used to close an already open communication channel specified by the file descriptor `fd`. * After closing, the channel can no longer be used for communication, and any resources associated with * the channel will be released. This function is necessary for proper resource management, ensuring that * system resources (e.g.
| 4115 | * channel is not already closed before attempting to close it. |
| 4116 | */ |
| 4117 | sysret_t sys_channel_close(int fd) |
| 4118 | { |
| 4119 | return lwp_channel_close(FDT_TYPE_LWP, fd); |
| 4120 | } |
| 4121 | |
| 4122 | /** |
| 4123 | * @brief Sends a message through a communication channel. |
nothing calls this directly
no test coverage detected