| /barrelfish-master/usr/bench/mdb_bench/ |
| H A D | old_mdb.c | 22 void old_mdb_insert(struct cte *cte) argument
51 old_mdb_remove(struct cte *cte) argument
68 old_mdb_predecessor(struct cte *cte) argument
73 old_mdb_successor(struct cte *cte) argument
78 old_mdb_has_copies(struct cte *cte) argument
85 old_mdb_has_descendants(struct cte *cte) argument
98 old_mdb_has_ancestors(struct cte *cte) argument
[all...] |
| H A D | reset.c | 113 struct cte *cte = &ctes[pos]; local
[all...] |
| H A D | measure.c | 60 struct cte *cte = &ctes[startpos]; local
107 struct cte *cte = &ctes[pos]; local
131 struct cte *cte = &ctes[pos]; local
155 struct cte *cte = &ctes[pos]; local
[all...] |
| H A D | main.c | 65 struct cte *cte local
[all...] |
| /barrelfish-master/include/mdb/ |
| H A D | types.h | 36 struct cte { struct
|
| /barrelfish-master/kernel/include/ |
| H A D | capabilities.h | 53 struct cte { struct
[all...] |
| /barrelfish-master/kernel/ |
| H A D | sys_debug.c | 40 sys_debug_print_capabilities_check_cnode(struct cte *cte, struct cte **dispatcher) { argument
81 sys_debug_print_capabilities_cb(struct cte *cte, void *data) argument
[all...] |
| H A D | cap_delete.c | 60 delete_list_insert_head(struct cte *cte) argument
74 delete_list_insert_tail(struct cte *cte) argument
94 caps_try_delete(struct cte *cte) argument
124 caps_delete_last(struct cte *cte, struct cte *ret_ram_cap) argument
240 cleanup_copy(struct cte *cte) argument
284 cleanup_last(struct cte *cte, struct cte *ret_ram_cap) argument
420 caps_mark_revoke_copy(struct cte *cte) argument
431 caps_mark_revoke_generic(struct cte *cte) argument
477 caps_delete_foreigns(struct cte *cte) argument
651 clear_list_prepend(struct cte *cte) argument
688 struct cte *cte = delete_list_remove_head(); local
737 struct cte *cte = clear_head; local
808 caps_delete(struct cte *cte) argument
833 caps_revoke(struct cte *cte) argument
[all...] |
| H A D | monitor.c | 79 struct cte *cte; local
140 struct cte *cte; local
173 sys_double_lookup(capaddr_t rptr, uint8_t rlevel, capaddr_t tptr, uint8_t tlevel, struct cte **cte) argument
198 struct cte *cte; local
212 struct cte *cte; local
238 sys_lock_cap_common(struct cte *cte, bool lock) argument
419 struct cte *cte; local
448 sys_retslot_lookup(capaddr_t cnptr, uint8_t cnlevel, cslot_t slot, struct cte **cte) argument
[all...] |
| H A D | capabilities.c | 321 void caps_trace(const char *func, int line, struct cte *cte, const char *msg) argument
1337 struct cte *cte = caps_locate_slot(get_address(&l2cnode->cap), l2index); local
[all...] |
| /barrelfish-master/lib/mdb/ |
| H A D | mdb.c | 28 mdb_set_cte_relations(struct cte *cte, uint8_t relations, uint8_t mask) argument
41 void mdb_set_relations(struct cte *cte, uint8_t relations, uint8_t mask) argument
99 has_descendants(struct cte *cte) argument
110 has_ancestors(struct cte *cte) argument
115 mdb_find_ancestor(struct cte *cte) argument
174 has_copies(struct cte *cte) argument
204 struct cte *cte = mdb_find_equal(cap); local
242 remove_mapping(struct cte *cte) argument
[all...] |
| H A D | mdb_tree.c | 43 mdb_dump_and_fail(struct cte *cte, enum mdb_invariant failure) argument
174 print_cte(struct cte *cte, char *indent_buff) argument
221 mdb_dump(struct cte *cte, int indent) argument
268 mdb_check_subtree_invariants(struct cte *cte) argument
369 mdb_is_reachable(struct cte *root, struct cte *cte) argument
395 mdb_update_end(struct cte *cte) argument
1323 mdb_reachable(struct cte *cte) argument
1335 mdb_traverse_subtree(struct cte *cte, enum mdb_tree_traversal_order order, mdb_tree_traversal_fn cb, void *data) argument
1374 count_nodes(struct cte *cte, void *data) argument
[all...] |
| /barrelfish-master/include/trace/ |
| H A D | trace.h | 108 static inline uint32_t cte_to_trace_id(struct cte *cte) argument
|
| /barrelfish-master/tools/schedsim/ |
| H A D | simulator.c | 45 struct cte { struct
|