Welcome to the FoxOS website!
void debugf_intrnl(const char *fmt, ...)
const char *fmt
...
void
void printf(const char *fmt, ...)