|
CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
|
Public Attributes | |
| uintptr_t | value |
| The value that is being written. | |
| uintptr_t | kind |
| The kind of value that is being written. | |
| uintptr_t DebugFormatArgument::kind |
The kind of value that is being written.
This is either a pointer to a DebugCallback or one of the Kind enumeration, depending on whether the tag is set or not.
| uintptr_t DebugFormatArgument::value |