SYS_ident
Identifies a capability type.
Inputs
| Register | Type | Purpose |
|---|---|---|
| a1 | caddr | Capability address |
Outputs
| Register | Type | Purpose |
|---|---|---|
| r1 | ctype | Capability type |
Errors
- EINVALCADDR: Capability address is invalid
Press ← or → to navigate between chapters
Press S or / to search in the book
Press ? to show this help
Press Esc to hide this help