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