/barrelfish-2018-10-04/usr/monitor/arch/armv7/ |
H A D | notify_ipi.c | 46 struct capability notify_cap = { local
|
H A D | monitor_server.c | 79 struct capref notify_cap = NULL_CAP; local 44 ipi_alloc_notify_reply_cont(struct monitor_binding *b, uintptr_t state, struct capref notify_cap, errval_t reterr) argument
|
H A D | boot.c | 70 struct capref notify_cap; local
|
/barrelfish-2018-10-04/usr/monitor/arch/armv8/ |
H A D | notify_ipi.c | 46 struct capability notify_cap = { local
|
H A D | monitor_server.c | 79 struct capref notify_cap = NULL_CAP; local 44 ipi_alloc_notify_reply_cont(struct monitor_binding *b, uintptr_t state, struct capref notify_cap, errval_t reterr) argument
|
H A D | boot.c | 70 struct capref notify_cap; local
|
/barrelfish-2018-10-04/usr/monitor/arch/x86/ |
H A D | notify_ipi.c | 46 struct capability notify_cap = { local
|
H A D | monitor_server.c | 79 struct capref notify_cap = NULL_CAP; local 44 ipi_alloc_notify_reply_cont(struct monitor_binding *b, uintptr_t state, struct capref notify_cap, errval_t reterr) argument
|
H A D | boot.c | 76 struct capref notify_cap; local
|
/barrelfish-2018-10-04/usr/monitor/ |
H A D | boot.c | 94 struct capref notify_cap; local
|
H A D | ump_support.c | 404 struct capref notify_cap = NULL_CAP; local 312 bind_ump_service_request_cont(struct monitor_binding *domain_binding, uintptr_t service_id, con_id_t my_mon_id, struct capref frame, uint32_t channel_length_in, uint32_t channel_length_out, struct capref notify_cap, struct intermon_binding *binding, con_id_t your_mon_id) argument 466 bind_ump_reply_client_cont(struct monitor_binding *domain_binding, uintptr_t my_mon_id, uintptr_t domain_id, errval_t msgerr, struct capref notify_cap) argument 526 struct capref notify_cap = NULL_CAP; local [all...] |
/barrelfish-2018-10-04/lib/barrelfish/arch/x86/ |
H A D | ipi_notify.c | 19 ipi_alloc_notify_reply(struct monitor_binding *b, uintptr_t st, struct capref notify_cap, errval_t err) argument
|
/barrelfish-2018-10-04/include/barrelfish/ |
H A D | ump_chan.h | 69 struct capref notify_cap; member in struct:ump_chan
|
/barrelfish-2018-10-04/lib/barrelfish/ |
H A D | ump_chan.c | 138 bind_ump_service_request_handler(struct monitor_binding *b, uintptr_t service_id, uintptr_t mon_id, struct capref frame, size_t channel_length_in, size_t channel_length_out, struct capref notify_cap) argument 165 ump_chan_send_bind_reply(struct monitor_binding *mb, struct ump_chan *uc, errval_t err, uintptr_t monitor_id, struct capref notify_cap) argument 229 ump_chan_bind(struct ump_chan *uc, struct ump_bind_continuation cont, struct event_queue_node *qnode, iref_t iref, struct monitor_binding *monitor_binding, size_t inchanlen, size_t outchanlen, struct capref notify_cap) argument
|
/barrelfish-2018-10-04/include/arch/x86_64/barrelfish/ |
H A D | invocations_arch.h | 227 static inline errval_t invoke_ipi_notify_send(struct capref notify_cap) argument
|
/barrelfish-2018-10-04/include/arch/x86_32/barrelfish/ |
H A D | invocations_arch.h | 578 static inline errval_t invoke_ipi_notify_send(struct capref notify_cap) argument
|