|
CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
|
Unsigned 64-bit integer specialisation, prints the integer as a hex number. More...
#include <debug.hh>
Static Public Member Functions | |
| static DebugFormatArgument | construct (uint64_t value) |
Unsigned 64-bit integer specialisation, prints the integer as a hex number.
All smaller sizes are handled by zero extending to 32 bits. We treat 64-bit separately because it requires decomposing the two halves for printing and that's redundant overhead for the majority of cases.
|
inlinestatic |