vmmci_pipe_dispatch
vm_pipe_init2(&dev->vmmci.dev_pipe, vmmci_pipe_dispatch, dev);
static void vmmci_pipe_dispatch(int, short, void *);