Searched refs:event_dispatch (Results 126 - 129 of 129) sorted by relevance

123456

/barrelfish-2018-10-04/lib/vfs/
H A Dvfs_nfs.c64 errval_t err = event_dispatch(get_default_waitset());
/barrelfish-2018-10-04/usr/drivers/megaraid/
H A Dmegaraid.c1400 event_dispatch(get_default_waitset());
/barrelfish-2018-10-04/usr/drivers/solarflare/
H A Dsfn5122f_cdriver.c1777 event_dispatch(get_default_waitset());
/barrelfish-2018-10-04/doc/011-idc/
H A DIDC.tex771 a function such as \lstinline+get_next_event()+ or \lstinline+event_dispatch()+)
801 errval_t event_dispatch(struct waitset *ws);

Completed in 104 milliseconds

123456