vmmci_timeout
evtimer_set(&dev->vmmci.timeout, vmmci_timeout, dev);
void vmmci_timeout(int, short, void *);