pub fn sys_chan_send(handle: u64, msg_ptr: u64) -> Result<u64, SyscallError>Expand description
SYS_CHAN_SEND (221): send one IpcMessage to a channel, blocking if full.
P1 fix: The kernel now injects cap.badge into msg.sender instead
of the raw task ID. This follows the capability-endpoint model (seL4):
the receiver sees only the badge of the delegation chain, never the
sender’s global identity. A sender cannot forge the badge because the
kernel overwrites msg.sender after reading the message from user-space.