/barrelfish-master/usr/skb/programs/ |
H A D | bridge_postorder_sorted_sum_ascending.pl | 12 % on the next level children (which include subordinate bridges) are sorted by
|
H A D | bridge_postorder_sorted_sum.pl | 12 % on the next level children (which include subordinate bridges) are sorted by
|
H A D | bridge_postorder_sorted_ascending.pl | 12 % on the next level children (which include subordinate bridges) are sorted by
|
H A D | bridge_postorder_sorted.pl | 12 % on the next level children (which include subordinate bridges) are sorted by
|
/barrelfish-master/usr/skb/octopus/ |
H A D | skiplist.h | 22 size_t level; member in struct:skip_list
|
H A D | skiplist.c | 80 * \brief Generates a random level number. 92 size_t level = 0; local 93 while(frand() < SKIP_LEVEL_PROBABILITY && level < MAX_LEVEL) { 94 level++; 97 return level; 103 static errval_t new_node(struct skip_node** sn, void* element, size_t level) argument 110 (*sn)->forward = calloc(level+1, sizeof(struct skip_node*)); 135 (*ss)->level = 0; 179 for (int64_t i = ss->level; i >= 0; i--) { 211 for(int64_t i = ss->level; 221 size_t level = random_level(); local [all...] |
/barrelfish-master/usr/replay/ |
H A D | master.c | 498 __print_taskgraph(struct pid_entry *root, int level) argument 502 for (int i=0; i<level; i++) 507 __print_taskgraph(root->children[i], level+1);
|
/barrelfish-master/usr/net_socket_server/ |
H A D | lib_netss.c | 1072 static errval_t set_sleep_level(struct bfdriver_instance* bfi, uint32_t level) { argument
|
/barrelfish-master/usr/monitor/ |
H A D | send_cap.c | 70 .level = cnlevel,
|
H A D | monitor_rpc_server.c | 66 struct capref croot, capaddr_t src, uint8_t level) 69 struct domcapref cap = { .croot = croot, .cptr = src, .level = level }; 82 struct capref croot, capaddr_t src, uint8_t level) 85 struct domcapref cap = { .croot = croot, .cptr = src, .level = level }; 679 uint8_t level = get_cap_level(ep); local 683 err = monitor_get_cap_owner(cap_root, caddr, level, &owner); 65 remote_cap_delete(struct monitor_blocking_binding *b, struct capref croot, capaddr_t src, uint8_t level) argument 81 remote_cap_revoke(struct monitor_blocking_binding *b, struct capref croot, capaddr_t src, uint8_t level) argument
|
H A D | invocations.c | 38 uint8_t level = get_cap_level(cap); local 40 errval_t err = invoke_monitor_identify_cap(caddr, level, out); 63 * \param level CSpace level of the cap to identify 67 int level, struct capability *out) 75 cap, level, out); 83 int level, uint8_t relations, 90 cptr, level, relations, mask, 97 uint8_t level = get_cap_level(cap); local 99 return monitor_domcap_remote_relations(cap_root, cptr, level, relation 66 monitor_domains_cap_identify(struct capref croot, capaddr_t cap, int level, struct capability *out) argument 82 monitor_domcap_remote_relations(struct capref croot, capaddr_t cptr, int level, uint8_t relations, uint8_t mask, uint8_t *ret_relations) argument 111 uint8_t level = get_cap_level(cap); local 121 uint8_t level = get_cap_level(cap); local 136 uint8_t level = get_cnode_level(dest); local 147 monitor_retype_remote_cap(struct capref croot, capaddr_t src, gensize_t offset, enum objtype newtype, gensize_t objsize, gensize_t count, capaddr_t to, capaddr_t slot, int level) argument 177 uint8_t level = get_cnode_level(dest); local 186 monitor_get_cap_owner(struct capref croot, capaddr_t cptr, int level, coreid_t *ret_owner) argument 197 monitor_set_cap_owner(struct capref croot, capaddr_t cptr, int level, coreid_t owner) argument 208 monitor_lock_cap(struct capref croot, capaddr_t cptr, int level) argument 219 monitor_unlock_cap(struct capref croot, capaddr_t cptr, int level) argument 238 monitor_delete_last(struct capref croot, capaddr_t cptr, int level, struct capref ret_cap) argument 252 uint8_t level = get_cap_level(cap); local 256 monitor_revoke_mark_target(struct capref croot, capaddr_t cptr, int level) argument [all...] |
/barrelfish-master/usr/monitor/include/ |
H A D | monitor_invocations.h | 25 capaddr_t cap, int level, 30 root_cap, root_level, cap, level, 39 invoke_monitor_cap_has_relations(capaddr_t caddr, uint8_t level, uint8_t mask, argument 44 caddr, level, mask); 52 invoke_monitor_identify_cap(capaddr_t cap, int level, struct capability *out) argument 54 return cap_invoke4(cap_kernel, KernelCmd_Identify_cap, cap, level, 60 capaddr_t cap, int level, 64 root_cap, root_level, cap, level, (uintptr_t)out).error; 69 invoke_monitor_nullify_cap(capaddr_t cap, int level) argument 71 return cap_invoke3(cap_kernel, KernelCmd_Nullify_cap, cap, level) 24 invoke_monitor_remote_relations(capaddr_t root_cap, int root_level, capaddr_t cap, int level, uint8_t relations, uint8_t mask, uint8_t *ret_remote_relations) argument 59 invoke_monitor_identify_domains_cap(capaddr_t root_cap, int root_level, capaddr_t cap, int level, struct capability *out) argument 115 invoke_monitor_delete_foreigns(capaddr_t cap, int level) argument [all...] |
H A D | domcap.h | 19 uint8_t level; member in struct:domcapref 29 .level = get_cap_level(cap),
|
H A D | dom_invocations.h | 18 return invoke_cnode_get_state(cap.croot, cap.cptr, cap.level, ret); 22 return invoke_cnode_delete(cap.croot, cap.cptr, cap.level);
|
/barrelfish-master/usr/monitor/include/arch/arm/ |
H A D | monitor_invocations_arch.h | 26 invoke_monitor_create_cap(uint64_t *raw, capaddr_t caddr, int level, capaddr_t slot, coreid_t owner) argument 29 return cap_invoke6(cap_kernel, KernelCmd_Create_cap, caddr, level, slot, 38 int level) 42 assert(level <= 0xFF); 45 src_root, src, offset, ((uint32_t)level << 16) | newtype,
|
/barrelfish-master/usr/monitor/include/arch/aarch64/ |
H A D | monitor_invocations_arch.h | 26 invoke_monitor_create_cap(uint64_t *raw, capaddr_t caddr, int level, capaddr_t slot, coreid_t owner) argument 29 return cap_invoke6(cap_kernel, KernelCmd_Create_cap, caddr, level, slot, 38 int level) 42 assert(level <= 0xFF); 45 src_root, src, offset, ((uint32_t)level << 16) | newtype,
|
/barrelfish-master/usr/monitor/capops/ |
H A D | revoke.c | 372 err = monitor_domains_cap_identify(cap.croot, cap.cptr, cap.level, &rst->rawcap); 422 st->cap.level, 0, RRELS_COPY_BIT, 472 st->cap.level); 504 st->cap.level);
|
H A D | retype.c | 295 req_st->check.src.level, &cap); 349 check_st->src.level, 357 check_st->src.level); 393 src->level, check->offset, destcn->cptr, 394 destcn->level, output->start_slot); 472 .level = src_level, 477 .level = dest_level, 499 .level = src_level, 504 .level = dest_level,
|
H A D | retrieve.c | 63 err = monitor_lock_cap(cap.croot, cap.cptr, cap.level); 74 err = monitor_domains_cap_identify(cap.croot, cap.cptr, cap.level, &rst->rawcap); 269 rst->cap.level, relations, 0xFF,
|
H A D | move.c | 204 err = monitor_lock_cap(domcapref.croot, domcapref.cptr, domcapref.level); 215 domcapref.level, relations, 241 domcapref.level); 306 err = monitor_domains_cap_identify(capref.croot, capref.cptr, capref.level, &cap); 319 err = monitor_lock_cap(capref.croot, capref.cptr, capref.level); 325 err = monitor_domcap_remote_relations(capref.croot, capref.cptr, capref.level,
|
H A D | internal.h | 84 capaddr_t capaddr, uint8_t level, cslot_t slot,
|
H A D | delete.c | 123 del_st->capref.level, del_st->newcap); 304 del_st->capref.level, 361 del_st->capref.level, 452 del_st->capref.level); 480 del_st->capref.level, 550 err = monitor_domains_cap_identify(cap.croot, cap.cptr, cap.level,
|
H A D | copy.c | 24 recv_copy_result__src(errval_t status, capaddr_t capaddr, uint8_t level, 27 recv_copy_result__fwd(errval_t status, capaddr_t capaddr, uint8_t level, 65 uint8_t level; member in struct:recv_copy_result_msg_st 81 msg_st->capaddr, msg_st->level, 104 uint8_t level, cslot_t slot, genvaddr_t st) 117 msg_st->level = level; 268 domcapref.level); 404 recv_copy_result__fwd(errval_t status, capaddr_t capaddr, uint8_t level, argument 417 err = recv_copy_result__enq(rpc_st->from, status, capaddr, level, slo 103 recv_copy_result__enq(coreid_t dest, errval_t status, capaddr_t capaddr, uint8_t level, cslot_t slot, genvaddr_t st) argument 426 recv_copy_result__src(errval_t status, capaddr_t capaddr, uint8_t level, cslot_t slot, struct cap_copy_rpc_st *rpc_st) argument 470 recv_copy_result__rx(struct intermon_binding *b, errval_t status, capaddr_t capaddr, uint8_t level, cslot_t slot, genvaddr_t st) argument [all...] |
H A D | capsend.c | 446 err = monitor_domains_cap_identify(src.croot, src.cptr, src.level, &cap); 595 err = monitor_domains_cap_identify(src.croot, src.cptr, src.level, &cap); 744 err = monitor_domains_cap_identify(capref.croot, capref.cptr, capref.level,
|
H A D | caplock.c | 31 errval_t err = monitor_unlock_cap(cap.croot, cap.cptr, cap.level);
|