#ifndef _KERNEL_SYS_DEBUG_H
#define _KERNEL_SYS_DEBUG_H

void debugprintf(const char *fmt, ...);

#define DEBUG(fmt, ...) do {                                      \
    debugprintf("%s: " fmt, __func__, ##__VA_ARGS__);  \
  } while(0)

#endif // _KERNEL_SYS_DEBUG_H