l4_sleep(usec/1000);
}
-void dope_process_event(l4re_event_t *ev);
+void dope_process_event(l4re_event_t *ev, void *data);
/*** INTERFACE: HANDLE EVENTLOOP OF A DOpE CLIENT ***/
void dope_eventloop(void)
{
l4re_event_buffer_consumer_process(&ev_buf, ev_irq,
- pthread_getl4cap(pthread_self()),
+ pthread_getl4cap(pthread_self()), NULL,
dope_process_event);
}