38 linux_debug (const
char *format, ...)
44 va_start (args, format);
45 vfprintf (stderr, format, args);
62 snprintf (buf,
sizeof (buf),
"%s (stopped at syscall)",
65 snprintf (buf,
sizeof (buf),
"%s (stopped)",
69 snprintf (buf,
sizeof (buf),
"%s (terminated)",
84 linux_debug (
"my_waitpid (%d, 0x%x)\n",
pid,
flags);
90 while (ret == -1 && errno == EINTR);
93 linux_debug (
"my_waitpid (%d, 0x%x): status(%x), %d\n",
mach_port_t mach_port_t name mach_port_t mach_port_t name kern_return_t int int rusage_t pid_t pid
mach_port_t kern_return_t mach_port_t msgports mach_port_t kern_return_t pid_t pid mach_port_t kern_return_t mach_port_t task mach_port_t kern_return_t int flags
mach_port_t mach_port_t name mach_port_t mach_port_t name kern_return_t int status
char * status_to_str(int status)
int my_waitpid(int pid, int *status, int flags)
static void ATTRIBUTE_PRINTF(1, 2)