#ifndef _KERNEL_SYS_DEBUG_H
#define _KERNEL_SYS_DEBUG_H

#include <sys/smp.h>

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

#define DEBUG(fmt, ...)                                                                            \
  do {                                                                                             \
    debugprintf ("(CPU %u) %s:%d: " fmt, thiscpu->id, __func__, __LINE__, ##__VA_ARGS__);          \
  } while (0)

#endif // _KERNEL_SYS_DEBUG_H
