_kern_kernel_debugger
extern status_t _kern_kernel_debugger(const char *message);
status_t error = _kern_kernel_debugger(message);
_kern_kernel_debugger("The system is shut down. It's now safe to turn "