CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
Loading...
Searching...
No Matches
anonymous_namespace{debug.h} Namespace Reference

Functions

template<typename... Args>
void cheriot_debug_log (const char *context, const char *msg, Args... args)
template<typename... Args>
void cheriot_invariant (bool condition, const char *file, const char *function, int line, const char *msg, Args... args)

Function Documentation

◆ cheriot_debug_log()

template<typename... Args>
void anonymous_namespace{debug.h}::cheriot_debug_log ( const char * context,
const char * msg,
Args... args )

Definition at line 100 of file debug.h.

◆ cheriot_invariant()

template<typename... Args>
void anonymous_namespace{debug.h}::cheriot_invariant ( bool condition,
const char * file,
const char * function,
int line,
const char * msg,
Args... args )

Definition at line 108 of file debug.h.