kernel_debugger_internal
kernel_debugger_internal(NULL, NULL,
kernel_debugger_internal("Double Fault!", NULL,
kernel_debugger_internal("PANIC: ", format, args,
kernel_debugger_internal(message, NULL, sCurrentKernelDebuggerMessageArgs,