#include "abort.h"
#include "string.h"
-int write(int fd, const char* cbuf, int nbyte);
+extern int write(int fd, const char* cbuf, int nbyte);
static mach_port_t master_host_port;
{
char buffer[1024];
int len = _mach_snprintf(buffer, sizeof(buffer), "panic: %s\n", s);
- write(__STDERR_FILENO, buffer, len+1);
+ write(__STDERR_FILENO, buffer, len);
#define RB_DEBUGGER 0x1000 /* enter debugger NOW */
(void) host_reboot(master_host_port, RB_DEBUGGER);