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.