Constants§
- seL4_
Alignment Error - seL4_
Delete First - seL4_
Failed Lookup - seL4_
Illegal Operation - seL4_
Invalid Argument - seL4_
Invalid Capability - seL4_
NoError - seL4_
NotEnough Memory - seL4_
NumErrors - seL4_
Range Error - seL4_
Revoke First - seL4_
Truncated Message