/barrelfish-2018-10-04/usr/bench/mdb_bench/ |
H A D | old_mdb.h | 3 extern struct cte *old_start; 4 void old_mdb_insert(struct cte *cte); 5 void old_mdb_remove(struct cte *cte); 6 struct cte* old_mdb_predecessor(struct cte *cte); 7 struct cte* old_mdb_successor(struct cte *ct [all...] |
H A D | old_mdb.c | 14 #define N(cte) (&(cte)->mdbnode) 18 #define C(cte) (&(cte)->cap) 20 struct cte *old_start; 22 void old_mdb_insert(struct cte *cte) argument 25 old_start = cte; 26 N(cte)->left = cte; 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 | measure.c | 12 static cycles_t measure_insert_one(struct cte *ctes, size_t count) 29 static cycles_t measure_remove_one(struct cte *ctes, size_t count) 46 static cycles_t measure_iterate_n(struct cte *ctes, size_t count, size_t steps) 60 struct cte *cte = &ctes[startpos]; local 67 cte = NEXT(cte); 68 if (!cte) { 77 static cycles_t measure_iterate_1(struct cte *ctes, size_t count) 81 static cycles_t measure_iterate_10(struct cte *cte 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 | reset.c | 23 struct cte *ctes = (struct cte*)base; 24 size_t num_caps = size / sizeof(struct cte); 44 struct cte *ctes = (struct cte*)base; 45 size_t num_caps = size / sizeof(struct cte); 66 struct cte *ctes = (struct cte*)base; 67 size_t num_caps = size / sizeof(struct cte); 96 struct cte *cte 113 struct cte *cte = &ctes[pos]; local [all...] |
H A D | main.c | 14 assert(size % sizeof(struct cte) == 0); 15 struct cte *ctes = (struct cte*)base; 16 size_t num_caps = size/sizeof(struct cte); 49 assert(size % sizeof(struct cte) == 0); 50 struct cte *ctes = (struct cte*)base; 51 size_t num_caps = size/sizeof(struct cte); 63 struct cte *cte local [all...] |
/barrelfish-2018-10-04/include/mdb/ |
H A D | mdb.h | 23 struct cte; 25 void set_init_mapping(struct cte *dest_start, size_t num); 26 bool has_descendants(struct cte *cte); 27 bool has_ancestors(struct cte *cte); 28 bool has_copies(struct cte *cte); 29 struct cte *mdb_find_ancestor(struct cte *ct [all...] |
H A D | mdb_tree.h | 22 struct cte; 87 void mdb_dump(struct cte *cte, int indent); 96 errval_t mdb_insert(struct cte *new_node); 99 errval_t mdb_remove(struct cte *node); 101 struct cte *mdb_predecessor(struct cte *current); 102 struct cte *mdb_successor(struct cte *current); 106 struct cte *mdb_find_equa [all...] |
H A D | types.h | 13 struct cte; 22 struct cte *left, *right; 32 // XXX: When compiling for userland, the cte definition in 34 // cte type here. 36 struct cte { struct
|
/barrelfish-2018-10-04/lib/mdb/ |
H A D | mdb.c | 27 mdb_set_cte_relations(struct cte *cte, uint8_t relations, uint8_t mask) argument 30 cte->mdbnode.remote_copies = (relations & RRELS_COPY_BIT) != 0; 33 cte->mdbnode.remote_ancs = (relations & RRELS_ANCS_BIT) != 0; 36 cte->mdbnode.remote_descs = (relations & RRELS_DESC_BIT) != 0; 40 void mdb_set_relations(struct cte *cte, uint8_t relations, uint8_t mask) argument 42 assert(cte != NULL); 44 bool old_copies = cte->mdbnode.remote_copies; 45 bool old_ancs = cte 97 has_descendants(struct cte *cte) argument 107 has_ancestors(struct cte *cte) argument 111 mdb_find_ancestor(struct cte *cte) argument 166 has_copies(struct cte *cte) argument 191 struct cte *cte = mdb_find_equal(cap); local 229 remove_mapping(struct cte *cte) argument [all...] |
H A D | mdb_tree.c | 23 #define N(cte) (&(cte)->mdbnode) 27 #define C(cte) (&(cte)->cap) 43 mdb_dump_and_fail(struct cte *cte, enum mdb_invariant failure) argument 45 mdb_dump(cte, 0); 46 panic("failed on cte %p with failure %s (%d)\n", 47 cte, mdb_invariant_to_str(failure), failure); 49 #define MDB_RET_INVARIANT(cte, failur 174 print_cte(struct cte *cte, char *indent_buff) argument 215 mdb_dump(struct cte *cte, int indent) argument 262 mdb_check_subtree_invariants(struct cte *cte) argument 363 mdb_is_reachable(struct cte *root, struct cte *cte) argument 389 mdb_update_end(struct cte *cte) argument 1299 mdb_reachable(struct cte *cte) argument 1311 mdb_traverse_subtree(struct cte *cte, enum mdb_tree_traversal_order order, mdb_tree_traversal_fn cb, void *data) argument [all...] |
/barrelfish-2018-10-04/kernel/ |
H A D | cap_delete.c | 32 struct cte *clear_head, *clear_tail; 33 struct cte *delete_head, *delete_tail; 35 static errval_t caps_try_delete(struct cte *cte); 36 static errval_t cleanup_copy(struct cte *cte); 37 static errval_t cleanup_last(struct cte *cte, struct cte *ret_ram_cap); 38 static void caps_mark_revoke_copy(struct cte *ct 47 caps_try_delete(struct cte *cte) argument 74 caps_delete_last(struct cte *cte, struct cte *ret_ram_cap) argument 165 cleanup_copy(struct cte *cte) argument 206 cleanup_last(struct cte *cte, struct cte *ret_ram_cap) argument 331 caps_mark_revoke_copy(struct cte *cte) argument 342 caps_mark_revoke_generic(struct cte *cte) argument 396 caps_delete_foreigns(struct cte *cte) argument 570 clear_list_prepend(struct cte *cte) argument 603 struct cte *cte = delete_head, *next = cte->delete_node.next; local 655 struct cte *cte = clear_head; local 726 caps_delete(struct cte *cte) argument 744 caps_revoke(struct cte *cte) argument [all...] |
H A D | sys_debug.c | 40 sys_debug_print_capabilities_check_cnode(struct cte *cte, struct cte **dispatcher) { argument 41 enum objtype type = cte->cap.type; 44 *dispatcher = cte; 51 struct kcb *kcb = (struct kcb*) local_phys_to_mem(get_address(&cte->cap)); 52 struct cte *cn = (struct cte*) local_phys_to_mem(get_address(&kcb->init_rootcn.cap)); 53 struct cte *cn_task = (struct cte*) local_phys_to_me 81 sys_debug_print_capabilities_cb(struct cte *cte, void *data) argument [all...] |
H A D | monitor.c | 26 struct cte **cte); 28 cslot_t slot, struct cte **cte); 52 struct cte *cap; 79 struct cte *cte; local 80 err = sys_double_lookup(root_addr, root_level, cptr, level, &cte); 87 if (caps_should_trace(&cte->cap)) { 97 TRACE_CAP_MSG(buf, cte); 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 | paging_generic.c | 26 static inline errval_t find_mapping_for_cap(struct cte *cap, struct cte **mapping) 29 struct cte *next = cap; 43 static inline errval_t find_next_ptable(struct cte *mapping_cte, struct cte **next) 71 struct cte *tmp = mdb_predecessor(*next); 98 static inline size_t get_offset(struct cte *mapping, struct cte *next) 107 void create_mapping_cap(struct cte *mapping_cte, struct capability *cap, 108 struct cte *ptabl [all...] |
H A D | startup.c | 33 #define CNODE(cte) get_address(&(cte)->cap) 140 struct cte *rootcn = &kcb_current->init_rootcn; 167 struct cte *bspkcb = caps_locate_slot(CNODE(rootcn), ROOTCN_SLOT_BSPKCB); 235 struct cte *init_dcb_cte = caps_locate_slot(CNODE(st->taskcn), 248 struct cte *init_dispframe_cte = caps_locate_slot(CNODE(st->taskcn), 263 struct cte *init_args_cte = caps_locate_slot(CNODE(st->taskcn), 275 struct cte *bootinfo_cte = caps_locate_slot(CNODE(st->taskcn), 286 struct cte *kernelcap_cte = caps_locate_slot(CNODE(st->taskcn), 292 struct cte *perfmoncap_ct [all...] |
/barrelfish-2018-10-04/kernel/include/ |
H A D | paging_generic.h | 27 struct cte; 29 void create_mapping_cap(struct cte *mapping_cte, struct capability *cap, 30 struct cte *ptable, cslot_t entry, size_t pte_count); 31 errval_t compile_vaddr(struct cte *ptable, size_t entry, genvaddr_t *retvaddr); 32 errval_t unmap_capability(struct cte *mem); 33 errval_t paging_tlb_flush_range(struct cte *frame, size_t offset, size_t pages);
|
H A D | capabilities.h | 25 struct cte; 29 struct cte *next; 31 char padding[DELETE_LIST_SIZE - sizeof(struct cte*)]; 42 "cap+mdbnode fit in cte"); 53 struct cte { struct 67 STATIC_ASSERT_SIZEOF(struct cte, (1UL << OBJBITS_CTE)); 69 static inline struct cte *caps_locate_slot(lpaddr_t cnode, cslot_t offset) 71 return (struct cte *)(local_phys_to_mem(cnode) + 75 static inline struct cte *cte_for_cap(struct capability *cap) 77 return (struct cte *) ((cha [all...] |
H A D | distcaps.h | 20 struct cte; 23 distcap_get_state(struct cte *dcap) 36 distcap_is_foreign(struct cte *dcap) 42 distcap_is_in_delete(struct cte *dcap) 48 distcap_set_deleted(struct cte *dcap)
|
H A D | cap_predicates.h | 19 struct cte; 46 bool is_revoked_first(struct cte *, enum objtype);
|
H A D | dispatch.h | 29 struct cte monitor_ep; ///< The endpoint to the monitor 30 struct cte ctrl; ///< The VMKit guest shared data structure 31 struct cte vmcb; ///< The physical address of the AMD VMCB 42 struct cte cspace; ///< Cap slot for CSpace 44 struct cte disp_cte;
|
H A D | kcb.h | 23 struct cte; 51 struct cte init_rootcn; 70 struct cte irq_dispatch[NDISPATCH];
|
/barrelfish-2018-10-04/usr/tests/mdbtests/ |
H A D | test_addr_zero.c | 22 struct cte caps[CAP_COUNT]; 24 memset(caps, 0, CAP_COUNT*sizeof(struct cte)); 39 struct cte devframe; 47 struct cte *retcte;
|
H A D | test_ops_with_root.c | 39 get_ranges(size_t count, uint8_t max_addr_bits, struct cte *out) 68 memset(&out[gencount], 0, sizeof(struct cte)); 88 static void dump_ranges(struct cte *ranges, size_t count) 96 extern struct cte *mdb_root; 103 struct cte ranges[count]; 119 memset(ranges, 0, count * sizeof(struct cte));
|
H A D | test_range_query.c | 39 get_ranges(size_t count, uint8_t max_addr_bits, struct cte *out) 68 memset(&out[gencount], 0, sizeof(struct cte)); 87 struct cte *target; 101 get_overlap_queries(struct cte *ranges, size_t range_count, size_t count, genvaddr_t max_addr, struct query *out) 120 struct cte *target = NULL; 122 struct cte *r = &ranges[i]; 191 static void dump_ranges(struct cte *ranges, size_t count) 207 struct cte ranges[count]; 221 struct cte *retcap; 246 memset(ranges, 0, count * sizeof(struct cte)); [all...] |
/barrelfish-2018-10-04/kernel/arch/x86/ |
H A D | ipi_notify.c | 28 static struct cte endpoints[MAX_CHANIDS]; 44 struct cte *recv;
|