CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
Loading...
Searching...
No Matches
DebugFormatArgument Struct Reference

Public Attributes

uintptr_t value
 The value that is being written.
uintptr_t kind
 The kind of value that is being written.

Detailed Description

Definition at line 38 of file __debug.h.

Member Data Documentation

◆ kind

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.

Definition at line 49 of file __debug.h.

◆ value

uintptr_t DebugFormatArgument::value

The value that is being written.

Definition at line 43 of file __debug.h.


The documentation for this struct was generated from the following file: