DEBUGF 36 kernel/generic/src/debug/sections.c #define DEBUGF dummy_printf DEBUGF 38 kernel/generic/src/debug/util.h #define DEBUGF dummy_printf