Symbol: dbg_banner_title
sys/arch/hpc/include/debug.h
155
void dbg_banner_title(const char *, size_t);
sys/arch/hpc/include/debug.h
159
dbg_banner_title(__func__, sizeof(__func__) - 1); \