|
CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
|
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) |
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.
|
inlinestatic |