_kern_debugger
extern void _kern_debugger(const char *message);
_kern_debugger(buffer);
_kern_debugger(message);