| /barrelfish-master/include/barrelfish/ |
| H A D | monitor_client.h | 28 uint32_t capid);
|
| /barrelfish-master/usr/monitor/ |
| H A D | multihop_support.c | 1240 uint32_t capid, errval_t msgerr, intermon_caprep_t caprep, bool null_cap,
1247 multihop_vci_t vci, uint8_t direction, uint32_t capid, errval_t msgerr,
1270 * \capid ID of the capability
1275 uint8_t direction, errval_t msgerr, struct capref cap, uint32_t capid)
1279 "monitor on core %d received a capability (from local dispatcher). VCI %llu, direction %d, cap ID %d\n", my_core_id, (unsigned long long) vci, direction, capid);
1346 me->args.capid = capid;
1365 st->args.capid, st->args.err, st->args.cap, st->args.null_cap,
1376 uint32_t capid, errval_t msgerr, intermon_caprep_t caprep, bool null_cap,
1383 err = b->tx_vtbl.multihop_cap_send(b, NOP_CONT, vci, direction, capid, msger
1273 multihop_cap_send_request_handler( struct monitor_binding *monitor_binding, multihop_vci_t vci, uint8_t direction, errval_t msgerr, struct capref cap, uint32_t capid) argument
1374 multihop_cap_send_intermon_forward( struct intermon_binding *b, multihop_vci_t vci, uint8_t direction, uint32_t capid, errval_t msgerr, intermon_caprep_t caprep, bool null_cap, coreid_t owner) argument
1417 multihop_intermon_cap_send_handler( struct intermon_binding *intermon_binding, multihop_vci_t vci, uint8_t direction, uint32_t capid, errval_t msgerr, intermon_caprep_t caprep, bool null_cap, coreid_t owner) argument
1528 multihop_cap_send_forward(struct monitor_binding *b, multihop_vci_t vci, uint8_t direction, uint32_t capid, errval_t msgerr, struct capref cap) argument
[all...] |
| H A D | inter.c | 183 struct capref cap, uint32_t capid,
196 me->args.capid = capid;
218 uint32_t capid, uintptr_t your_mon_id,
226 cap_receive_request(domain_binding, MKCONT(free, capp), domain_id, msgerr, cap, capid);
234 capid, your_mon_id, b, first);
254 st->args.capid, st->your_mon_id, st->b, true);
261 uint32_t capid; member in struct:cap_send_request_st
289 cap_receive_request_cont(domain_binding, domain_id, err, cap, st->capid,
294 cap_receive_request_enqueue(domain_binding, domain_id, err, cap, st->capid,
181 cap_receive_request_enqueue(struct monitor_binding *domain_binding, uintptr_t domain_id, errval_t msgerr, struct capref cap, uint32_t capid, uintptr_t your_mon_id, struct intermon_binding *b, bool first) argument
215 cap_receive_request_cont(struct monitor_binding *domain_binding, uintptr_t domain_id, errval_t msgerr, struct capref cap, uint32_t capid, uintptr_t your_mon_id, struct intermon_binding *b, bool first) argument
300 cap_send_request(struct intermon_binding *b, mon_id_t my_mon_id, uint32_t capid, intermon_captx_t captx) argument
[all...] |
| H A D | monitor_server.c | 777 uint32_t capid; member in struct:send_cap_st
792 st->capid, st->captx);
832 struct capref cap, uint32_t capid)
858 st->capid = capid;
831 cap_send_request(struct monitor_binding *b, uintptr_t my_mon_id, struct capref cap, uint32_t capid) argument
|
| /barrelfish-master/lib/barrelfish/ |
| H A D | monitor_client.c | 39 struct capref cap, uint32_t capid)
45 h->cap_receive_handler(h->st, success, cap, capid);
37 cap_receive_request_handler(struct monitor_binding *b, uintptr_t conn_id, errval_t success, struct capref cap, uint32_t capid) argument
|
| H A D | multihop_chan.c | 565 * \param capid id of the capability
570 struct capref cap, uint32_t capid)
578 mc->cap_handlers.cap_receive_handler(mc->cap_handlers.st, msgerr, cap, capid);
568 multihop_handle_capability(struct monitor_binding *mon_closure, multihop_vci_t vci, uint8_t direction, errval_t msgerr, struct capref cap, uint32_t capid) argument
|