/barrelfish-master/usr/bench/distops/ |
H A D | benchapi.h | 46 void broadcast_caps(uint32_t cmd, uint32_t arg, struct capref cap1); 48 void multicast_caps(uint32_t cmd, uint32_t arg, struct capref cap1, 63 void mgmt_cmd_caps(uint32_t cmd, uint32_t arg, struct capref cap1, 74 void node_cmd_caps(uint32_t cmd, uint32_t arg, struct capref cap1,
|
H A D | noop.c | 82 void mgmt_cmd_caps(uint32_t cmd, uint32_t arg, struct capref cap1, argument 87 debug_capref("cap1:", cap1); 116 void node_cmd_caps(uint32_t cmd, uint32_t arg, struct capref cap1, argument 120 debug_capref("cap1:", cap1);
|
H A D | revoke_with_remote_copies.c | 186 void mgmt_cmd_caps(uint32_t cmd, uint32_t arg, struct capref cap1, argument 195 gs->fwdcap = cap1; 196 multicast_caps(BENCH_CMD_FORWARD_COPIES, arg, cap1, cores, gs->copycount); 203 debug_capref("cap1:", cap1); 368 void node_cmd_caps(uint32_t cmd, uint32_t arg, struct capref cap1, argument 377 ns->ram = cap1; 390 err = cap_destroy(cap1); 412 err = cap_retype(ns->ramcopies[i], cap1, i*BASE_PAGE_SIZE, 421 err = cap_copy(ns->ramcopies[i], cap1); [all...] |
H A D | main.c | 72 void broadcast_caps(uint32_t cmd, uint32_t arg, struct capref cap1) argument 85 err = bench_distops_caps__tx(bench_state->nodes[i], NOP_CONT, cmd, arg, cap1); 94 void multicast_caps(uint32_t cmd, uint32_t arg, struct capref cap1, argument 112 cmd, arg, cap1); 173 struct capref cap1) 176 mgmt_cmd_caps(cmd, arg, cap1, b); 279 struct capref cap1) 284 node_cmd_caps(cmd, arg, cap1, b); 172 mgmt_rx_caps(struct bench_distops_binding *b, uint32_t cmd, uint32_t arg, struct capref cap1) argument 278 node_rx_caps(struct bench_distops_binding *b, uint32_t cmd, uint32_t arg, struct capref cap1) argument
|
H A D | noop_invocation.c | 173 void mgmt_cmd_caps(uint32_t cmd, uint32_t arg, struct capref cap1, argument 178 debug_capref("cap1:", cap1); 276 void node_cmd_caps(uint32_t cmd, uint32_t arg, struct capref cap1, argument 286 ns->ram = cap1; 294 ns->cap = cap1; 301 debug_capref("cap1:", cap1);
|
H A D | delete_last_copy_remote.c | 187 void mgmt_cmd_caps(uint32_t cmd, uint32_t arg, struct capref cap1, argument 196 gs->fwdcap = cap1; 197 multicast_caps(BENCH_CMD_FORWARD_COPIES, arg, cap1, cores, gs->copycount); 204 debug_capref("cap1:", cap1); 337 void node_cmd_caps(uint32_t cmd, uint32_t arg, struct capref cap1, argument 346 ns->ram = cap1; 359 err = cap_destroy(cap1); 382 err = cap_copy(ns->ramcopies[i], cap1); 385 err = cap_destroy(cap1); [all...] |
H A D | retype_with_remote_copies.c | 186 void mgmt_cmd_caps(uint32_t cmd, uint32_t arg, struct capref cap1, argument 195 gs->fwdcap = cap1; 196 multicast_caps(BENCH_CMD_FORWARD_COPIES, arg, cap1, cores, gs->copycount); 203 debug_capref("cap1:", cap1); 365 void node_cmd_caps(uint32_t cmd, uint32_t arg, struct capref cap1, argument 374 ns->ram = cap1; 387 err = cap_destroy(cap1); 407 err = cap_retype(ns->ramcopies[i], cap1, 416 err = cap_destroy(cap1); [all...] |
H A D | revoke_remote_copy.c | 197 void mgmt_cmd_caps(uint32_t cmd, uint32_t arg, struct capref cap1, argument 208 gs->fwdcap = cap1; 209 multicast_caps(BENCH_CMD_FORWARD_COPIES, arg, cap1, cores, gs->copycount); 216 debug_capref("cap1:", cap1); 384 void node_cmd_caps(uint32_t cmd, uint32_t arg, struct capref cap1, argument 393 ns->ram = cap1; 408 ns->cap = cap1; 411 err = cap_destroy(cap1); 451 debug_capref("cap1 [all...] |
H A D | delete_last_copy.c | 156 void mgmt_cmd_caps(uint32_t cmd, uint32_t arg, struct capref cap1, argument 161 debug_capref("cap1:", cap1); 273 void node_cmd_caps(uint32_t cmd, uint32_t arg, struct capref cap1, argument 282 ns->ram = cap1; 292 debug_capref("cap1:", cap1);
|
H A D | delete_local_copy.c | 160 void mgmt_cmd_caps(uint32_t cmd, uint32_t arg, struct capref cap1, argument 165 debug_capref("cap1:", cap1); 279 void node_cmd_caps(uint32_t cmd, uint32_t arg, struct capref cap1, argument 288 ns->ram = cap1; 301 debug_capref("cap1:", cap1);
|
H A D | retype_no_remote.c | 156 void mgmt_cmd_caps(uint32_t cmd, uint32_t arg, struct capref cap1, argument 161 debug_capref("cap1:", cap1); 276 void node_cmd_caps(uint32_t cmd, uint32_t arg, struct capref cap1, argument 285 ns->ram = cap1; 298 debug_capref("cap1:", cap1);
|
H A D | delete_foreign_copy.c | 179 void mgmt_cmd_caps(uint32_t cmd, uint32_t arg, struct capref cap1, argument 184 debug_capref("cap1:", cap1); 291 void node_cmd_caps(uint32_t cmd, uint32_t arg, struct capref cap1, argument 301 ns->ram = cap1; 309 ns->cap = cap1; 316 debug_capref("cap1:", cap1);
|
H A D | delete_cnode_last_copy_2.c | 143 void mgmt_cmd_caps(uint32_t cmd, uint32_t arg, struct capref cap1, argument 148 debug_capref("cap1:", cap1); 249 void node_cmd_caps(uint32_t cmd, uint32_t arg, struct capref cap1, argument 256 debug_capref("cap1:", cap1);
|
H A D | delete_cnode_last_copy.c | 157 void mgmt_cmd_caps(uint32_t cmd, uint32_t arg, struct capref cap1, argument 162 debug_capref("cap1:", cap1); 295 void node_cmd_caps(uint32_t cmd, uint32_t arg, struct capref cap1, argument 304 ns->ram = cap1; 314 debug_capref("cap1:", cap1);
|
H A D | retype_w_local_descendants.c | 156 void mgmt_cmd_caps(uint32_t cmd, uint32_t arg, struct capref cap1, argument 161 debug_capref("cap1:", cap1); 277 void node_cmd_caps(uint32_t cmd, uint32_t arg, struct capref cap1, argument 286 ns->ram = cap1; 304 debug_capref("cap1:", cap1);
|
H A D | revoke_no_remote.c | 160 void mgmt_cmd_caps(uint32_t cmd, uint32_t arg, struct capref cap1, argument 165 debug_capref("cap1:", cap1); 306 void node_cmd_caps(uint32_t cmd, uint32_t arg, struct capref cap1, argument 315 ns->ram = cap1; 325 debug_capref("cap1:", cap1);
|
/barrelfish-master/usr/tests/idctest/ |
H A D | idctest.c | 88 struct capref cap1) 91 debug_print_cap_at_capref(buf1, sizeof(buf1), cap1); 97 struct capref cap1, struct capref cap2) 100 debug_print_cap_at_capref(buf1, sizeof(buf1), cap1); 126 struct capref cap1, cap2, cap3; member in struct:client_state 164 err = frame_alloc(&myst->cap1, BASE_PAGE_SIZE, NULL); 166 err = test_one_cap__tx(b, txcont, 77, myst->cap1); 185 //err = cap_destroy(myst->cap1); 87 rx_one_cap(struct test_binding *b, uint32_t arg, struct capref cap1) argument 96 rx_caps(struct test_binding *b, uint32_t arg, struct capref cap1, struct capref cap2) argument
|
/barrelfish-master/usr/tests/distops/ |
H A D | main.c | 84 static void server_rx_caps(struct test_binding *b, uint32_t arg, struct capref cap1, argument 87 server_do_test(b, arg, cap1); 145 static void client_rx_caps(struct test_binding *b, uint32_t arg, struct capref cap1, argument 149 cap_destroy(cap1);
|
/barrelfish-master/usr/tests/multihoptest/ |
H A D | multihoptest.c | 87 struct capref cap1, cap2; member in struct:test_state 113 err = frame_alloc(&myst->cap1, BASE_PAGE_SIZE, NULL); 126 err = test_caps__tx(b, txcont, 69, myst->cap1, myst->cap2); 139 err = cap_destroy(myst->cap1); 205 static void rx_caps(struct test_binding *b, uint32_t arg, struct capref cap1, argument 214 debug_print_cap_at_capref(buf1, sizeof(buf1), cap1); 218 cap_destroy(cap1);
|
/barrelfish-master/usr/tests/rpc_cap_test/ |
H A D | rpc_cap_test.c | 150 struct capability cap1, cap2; local 157 err = debug_cap_identify(frame1, &cap1); 159 buf_idx += debug_print_cap(buf, sizeof(buf), &cap1);
|
/barrelfish-master/lib/driverkit/ |
H A D | ddomain_service.c | 54 struct capref cap1, struct capref cap2, struct capref cap3, 70 if (!capref_is_null(cap1)) { 71 inst->caps[inst->capc++] = cap1; 50 create_handler(struct ddomain_binding* binding, const char* cls, size_t cls_len, const char* name, size_t nlen, const char* a1, size_t a1len, const char* a2, size_t a2len, const char* a3, size_t a3len, const char* a4, size_t a4len, struct capref cap1, struct capref cap2, struct capref cap3, struct capref cap4, struct capref cap5, struct capref cap6, uint64_t flags) argument
|
/barrelfish-master/doc/011-idc/ |
H A D | IDC.tex | 370 message caps(uint32 arg, cap cap1, cap cap2); 533 struct capref cap1, struct capref cap2); 577 uint32_t arg, struct capref cap1, struct capref cap2);
|