CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
Loading...
Searching...
No Matches
DebugFormatArgumentAdaptor< uint64_t > Struct Reference

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)

Detailed Description

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.

Definition at line 256 of file debug.hh.

Member Function Documentation

◆ construct()

DebugFormatArgument DebugFormatArgumentAdaptor< uint64_t >::construct ( uint64_t value)
inlinestatic

Definition at line 258 of file debug.hh.


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