send

send #

Property Details
Name SYS_send
Syscall number 3

The send syscall invokes a SEND operation on a capability.

Arguments #

See IPC.

Return value #

See IPC.

Errors #

  • ACCESS: The invoked capability does not have the SEND permission.
  • INVALID_CADDR: The invoked capability address exceeds the current task’s cspace.