#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