/barrelfish-2018-10-04/include/lwip/lwip/ |
H A D | sock_chan_support.h | 3 * \brief Barrelfish waitset and channel support for LWIP. 19 #include <barrelfish/waitset.h> 29 errval_t lwip_sock_waitset_register_read(int socket, struct waitset *ws); 31 errval_t lwip_sock_waitset_register_write(int socket, struct waitset *ws);
|
/barrelfish-2018-10-04/include/barrelfish/ |
H A D | waitset.h | 31 struct waitset; 61 /// Current state of a channel on a specific waitset 63 CHAN_UNREGISTERED, ///< Initialised, but not yet registered on a waitset 71 * \brief Per-channel state belonging to waitset 73 * This data is logically private to the waitset, but is allocated and stored 78 struct waitset *waitset; ///< Waitset in which this channel is registered member in struct:waitset_chanstate 93 * This data is private to the waitset (a waitset is an opaque type), 96 struct waitset { struct [all...] |
H A D | waitset_chan.h | 19 #include <barrelfish/waitset.h> 25 return chan->waitset != NULL && 33 errval_t waitset_chan_trigger_closure(struct waitset *ws, 37 errval_t waitset_chan_register(struct waitset *ws, struct waitset_chanstate *chan, 39 errval_t waitset_chan_register_polled(struct waitset *ws, 43 struct waitset *new_ws);
|
H A D | deferred.h | 19 #include <barrelfish/waitset.h> 35 struct waitset *ws, delayus_t delay, 43 struct waitset *waitset; member in struct:periodic_event 47 errval_t periodic_event_create(struct periodic_event *event, struct waitset *ws,
|
H A D | event_queue.h | 20 #include <barrelfish/waitset.h> 27 /// Run events continuously, as the waitset allows 42 struct waitset *waitset; member in struct:event_queue 48 void event_queue_init(struct event_queue *evq, struct waitset *waitset,
|
H A D | event_mutex.h | 32 void event_mutex_init(struct event_mutex *em, struct waitset *waitset);
|
H A D | multihop_chan.h | 21 #include <barrelfish/waitset.h> 135 struct waitset *waitset); 139 multihop_vci_t vci, struct waitset *waitset); 164 // change the waitset of the multi-hop channel 166 struct waitset *ws); 168 // register a continuation closure to be invoked on the given waitset when the 171 struct waitset *ws, struct event_closure cont);
|
H A D | monitor_client.h | 37 struct waitset *ws, size_t lmp_buflen_words); 40 struct waitset *ws, size_t lmp_buflen_words); 43 struct waitset *ws, size_t lmp_buflen_words);
|
H A D | ump_endpoint.h | 20 #include <barrelfish/waitset.h> 34 errval_t ump_endpoint_register(struct ump_endpoint *ep, struct waitset *ws, 37 void ump_endpoint_migrate(struct ump_endpoint *ep, struct waitset *ws);
|
/barrelfish-2018-10-04/include/term/server/ |
H A D | server.h | 20 #include <barrelfish/waitset.h> 47 struct waitset *session_ws; 53 struct waitset *in_ws; 59 struct waitset *out_ws; 65 struct waitset *conf_ws; 170 struct waitset *ws); 173 struct waitset *ws); 176 struct waitset *ws); 179 struct waitset *ws); 182 struct waitset *session_w [all...] |
/barrelfish-2018-10-04/lib/barrelfish/include/ |
H A D | waitset_chan_priv.h | 3 * \brief Libbarrelfish-private waitset interface to channel implementations 18 #include <barrelfish/waitset.h> 22 errval_t waitset_chan_trigger_closure_disabled(struct waitset *ws, 28 errval_t waitset_chan_register_disabled(struct waitset *ws, 31 errval_t waitset_chan_register_polled_disabled(struct waitset *ws,
|
/barrelfish-2018-10-04/usr/monitor/capops/ |
H A D | delete_int.h | 14 #include <barrelfish/waitset.h> 17 struct waitset *delete_steps_get_waitset(void); 18 void delete_steps_init(struct waitset *ws); 31 void delete_queue_init(struct waitset *ws);
|
/barrelfish-2018-10-04/usr/monitor/include/ |
H A D | caplock.h | 14 #include <barrelfish/waitset.h> 24 void caplock_init(struct waitset *ws);
|
/barrelfish-2018-10-04/include/ahci/ |
H A D | ahci.h | 13 #include <barrelfish/waitset.h> 27 struct waitset *ws, struct event_closure _continuation); 29 struct waitset *ws); 54 /* waitset for receive handlers and send continuations */ 55 struct waitset *waitset; member in struct:ahci_binding 69 /* change the waitset used by a binding */ 101 void *st, struct waitset *waitset);
|
/barrelfish-2018-10-04/include/term/client/ |
H A D | client.h | 20 #include <barrelfish/waitset.h> 24 struct waitset *read_ws); 27 struct waitset *write_ws); 30 struct waitset *conf_ws);
|
H A D | defs.h | 19 #include <barrelfish/waitset.h> 45 struct waitset *read_ws; 51 struct waitset *write_ws; 57 struct waitset *conf_ws;
|
/barrelfish-2018-10-04/lib/barrelfish/ |
H A D | flounder_glue_binding.c | 17 #include <barrelfish/waitset.h>
|
/barrelfish-2018-10-04/usr/drivers/ahcid/ |
H A D | ahcid.h | 16 #include <barrelfish/waitset.h> 27 extern struct waitset disk_ws;
|
/barrelfish-2018-10-04/include/flounder/ |
H A D | flounder_support.h | 27 struct waitset *waitset; member in struct:flounder_generic_bind_attempt 40 errval_t flounder_support_register(struct waitset *ws, 48 struct waitset * flounder_support_get_current_monitor_waitset(struct monitor_binding *mb); 50 struct waitset *ws); 56 struct waitset *new_ws);
|
H A D | flounder_txqueue.h | 13 #include <barrelfish/waitset.h> 40 struct waitset *ws, 47 struct waitset *waitset; ///< waitset to use member in struct:tx_queue 75 * \param waitset the waitset to be used 82 struct waitset *waitset,
|
H A D | flounder.h | 19 #include <barrelfish/waitset.h>
|
/barrelfish-2018-10-04/lib/posixcompat/ |
H A D | pty.h | 14 #include <barrelfish/waitset.h> 52 struct waitset session_ws; 53 struct waitset in_ws; 54 struct waitset out_ws; 55 struct waitset conf_ws; 86 * Thread that dispatches the session waitset.
|
/barrelfish-2018-10-04/include/pci/ |
H A D | pci_driver_client.h | 21 struct waitset; 27 struct waitset * ws; 48 struct waitset *ws);
|
/barrelfish-2018-10-04/usr/bench/net_latency/elb/ |
H A D | elb.h | 18 #include <barrelfish/waitset.h>
|
/barrelfish-2018-10-04/include/int_route/ |
H A D | int_route_client.h | 29 struct waitset *ws, interrupt_handler_fn handler, void *handler_arg);
|