identify #
| Property | Details |
|---|---|
| Name | SYS_identify |
| Syscall number | 2 |
The identify syscall determines the identity and rights of a capability.
Arguments #
| Register | Type | Description |
|---|---|---|
| arg1 | caddr | capability to identify |
Return value #
Details about the capability are returned in ret2:
| Bits | Description |
|---|---|
| 0 | SEND rights (1 = can send) |
| 1 | RECV rights (1 = can recv) |
| 2-7 | Capability type |
Errors #
INVALID_CADDR: The provided capability address exceeds the bounds of the calling task’s cspace.