|
CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
|
Signed 32-bit integer specialisations, print the integer as a decimal number. More...
#include <debug.hh>
Static Public Member Functions | |
| static DebugFormatArgument | construct (int32_t value) |
Signed 32-bit integer specialisations, print the integer as a decimal number.
|
inlinestatic |