register_winch_irq
register_winch_irq(-1, fd, -1, port, 0);
register_winch_irq(thread_fd, fd, thread, port, stack);
extern void register_winch_irq(int fd, int tty_fd, int pid,