read_pipe_main
vm_pipe_init2(&pipe_main, read_pipe_main, &dev);
static void read_pipe_main(int, short, void *);