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

Signed 64-bit integer specialisations, print the integer as a decimal number. More...

#include <debug.hh>

Static Public Member Functions

static DebugFormatArgument construct (int64_t value)

Detailed Description

Signed 64-bit integer specialisations, print the integer as a decimal number.

All smaller sizes are handled by sign extending to 32 bits. We treat 64-bit separately because it requires 64-bit division to convert a 64-bit integer to a decimal and that, in turn, requires libcalls.

Definition at line 314 of file debug.hh.

Member Function Documentation

◆ construct()

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

Definition at line 316 of file debug.hh.


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