debug_high
extern void debug_high(char *, ...);
debug_high("list_walk_all lpc %d\n", (int)pid);
debug_high("list_walk_all aborted at lpc %d\n",
debug_high("%d/psinfo, trying cached fd %d\n",
debug_high("opened %s, fd %d\n", pathbuf, fd);
debug_high("closed fd %d\n", fd);
debug_high("closed %s fd %d\n", fd_update_cb == NULL ?
debug_high("get_psinfo ret %d, fd %d, %s\n", ((fd >= 0) ? 0 : -1), fd,
debug_high("process %d freed\n", (int)pid);
debug_high("pr_memcntl [%p-%p): %d", (void *)start, (void *)end, res);