/barrelfish-2018-10-04/usr/monitor/include/ |
H A D | dom_invocations.h | 16 static inline errval_t dom_cnode_get_state(struct domcapref cap, distcap_state_t *ret) argument 18 return invoke_cnode_get_state(cap.croot, cap.cptr, cap.level, ret); 20 static inline errval_t dom_cnode_delete(struct domcapref cap) argument 22 return invoke_cnode_delete(cap.croot, cap.cptr, cap.level);
|
H A D | domcap.h | 23 get_cap_domref(struct capref cap) argument 26 // XXX: should be get_croot_addr(cap)? 28 .cptr = get_cap_addr(cap), 29 .level = get_cap_level(cap),
|
H A D | monitor_invocations.h | 25 capaddr_t cap, int level, 30 root_cap, root_level, cap, level, 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).error; 76 invoke_monitor_get_cap_owner(capaddr_t root, int rlevel, capaddr_t cap, int clevel, coreid_t *ret_owner) argument 79 struct sysret sysret = cap_invoke5(cap_kernel, KernelCmd_Get_cap_owner, root, rlevel, cap, cleve 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 87 invoke_monitor_set_cap_owner(capaddr_t root, int rlevel, capaddr_t cap, int clevel, coreid_t owner) argument 94 invoke_monitor_lock_cap(capaddr_t root, int rlevel, capaddr_t cap, int clevel) argument 100 invoke_monitor_unlock_cap(capaddr_t root, int rlevel, capaddr_t cap, int clevel) argument 107 invoke_monitor_delete_last(capaddr_t root, int rlevel, capaddr_t cap, int clevel, capaddr_t retcn, int retcnlevel, cslot_t retslot) argument 115 invoke_monitor_delete_foreigns(capaddr_t cap, int level) argument 121 invoke_monitor_revoke_mark_target(capaddr_t root, int rlevel, capaddr_t cap, int clevel) argument 242 monitor_get_domcap_owner(struct domcapref cap, coreid_t *ret_owner) argument 249 monitor_set_domcap_owner(struct domcapref cap, coreid_t owner) argument [all...] |
H A D | caplock.h | 19 void caplock_wait(struct domcapref cap, 22 void caplock_unlock(struct domcapref cap);
|
/barrelfish-2018-10-04/usr/tests/mdbtests/ |
H A D | test_addr_zero.c | 26 struct capability *cap = &caps[i].cap; local 27 cap->type = ObjType_PhysAddr; 28 cap->rights = CAPRIGHTS_ALLRIGHTS; 29 cap->u.ram.base = 0x0; 30 cap->u.ram.bytes = 1UL << (BASE_BITS + i); 40 struct capability *cap = &devframe.cap; local 41 cap->type = ObjType_DevFrame; 42 cap [all...] |
/barrelfish-2018-10-04/usr/bench/shared_mem_clock/ |
H A D | clock.h | 21 errval_t clock_init(struct capref cap);
|
/barrelfish-2018-10-04/kernel/ |
H A D | paging_generic.c | 26 static inline errval_t find_mapping_for_cap(struct cte *cap, struct cte **mapping) argument 28 genpaddr_t faddr = get_address(&cap->cap); 29 struct cte *next = cap; 30 while ((next = mdb_successor(next)) && get_address(&next->cap) == faddr) 32 if (next->cap.type == get_mapping_type(cap->cap.type) && 33 next->cap.u.frame_mapping.cap 107 create_mapping_cap(struct cte *mapping_cte, struct capability *cap, struct cte *ptable, cslot_t entry, size_t pte_count) argument [all...] |
H A D | sys_debug.c | 41 enum objtype type = cte->cap.type; 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_mem(get_address(&cn[ROOTCN_SLOT_TASKCN].cap)); 58 struct cte *cn = (struct cte*) local_phys_to_mem(get_address(&cte->cap)); 62 if (cn[TASKCN_SLOT_DISPATCHER].cap.type == ObjType_Dispatcher) { 67 if (cn[ROOTCN_SLOT_TASKCN].cap.type == ObjType_L2CNode) { 68 struct cte *cn_task = (struct cte*) local_phys_to_mem(get_address(&cn[ROOTCN_SLOT_TASKCN].cap)); 70 if (cn_task[TASKCN_SLOT_DISPATCHER].cap.type == ObjType_Dispatcher) { 89 printk(LOG_ERR, "Type of cap [all...] |
/barrelfish-2018-10-04/include/barrelfish/ |
H A D | caddr.h | 111 * \brief Returns the depth in the CSpace address of a cap 113 static inline uint8_t get_cap_level(struct capref cap) argument 115 if (capref_is_null(cap)) { 118 return cap.cnode.level + 1; 123 * \brief Returns the CSpace address of a cap 125 static inline capaddr_t get_cap_addr(struct capref cap) argument 127 if (!capref_is_null(cap)) { 128 switch (cap.cnode.level) { 130 return cap.slot << L2_CNODE_BITS; 133 return cap 146 get_cnode_level(struct capref cap) argument 154 get_cnode_addr(struct capref cap) argument 171 get_croot_addr(struct capref cap) argument 176 get_croot_capref(struct capref cap) argument 216 build_cnoderef(struct capref cap, enum cnode_type cntype) argument [all...] |
/barrelfish-2018-10-04/usr/tests/memtest/ |
H A D | mem_free.c | 27 // Get an 8K RAM cap 35 struct capability cap; local 36 err = debug_cap_identify(theram, &cap); 38 assert(cap.type == ObjType_RAM); 40 cap.u.ram.base, cap.u.ram.bits); 54 err = debug_cap_identify(leftcap, &cap); 56 assert(cap.type == ObjType_RAM); 58 cap.u.ram.base, cap [all...] |
/barrelfish-2018-10-04/usr/tests/capops/ |
H A D | rootcn_resize.c | 24 struct capref cap; local 26 err = slot_alloc(&cap); 33 err = cap_copy(cap, cap_vroot);
|
/barrelfish-2018-10-04/lib/barrelfish/ |
H A D | debug.c | 60 * have no monitor connection but hold Kernel cap (e.g. init) 63 invoke_kernel_identify_cap(capaddr_t cap, int level, struct capability *out) argument 65 return cap_invoke4(cap_kernel, KernelCmd_Identify_cap, cap, level, 69 errval_t debug_cap_identify(struct capref cap, struct capability *ret) argument 71 if (get_cap_addr(cap) == 0) { 75 uint8_t level = get_cap_level(cap); 76 capaddr_t caddr = get_cap_addr(cap); 79 // we have kernel cap, return result; 83 return monitor_cap_identify_remote(cap, ret); 87 * \brief Enable fine-grained tracing of cap operation 136 debug_print_cap(char *buf, size_t len, struct capability *cap) argument 337 debug_print_cap_at_capref(char *buf, size_t len, struct capref cap) argument 359 struct capability cap; local 442 debug_print_capref(char *buf, size_t len, struct capref cap) argument [all...] |
/barrelfish-2018-10-04/usr/drivers/virtio/block/ |
H A D | host.h | 18 errval_t vblock_host_get_device_cap(struct capref *cap);
|
/barrelfish-2018-10-04/lib/mdb/ |
H A D | mdb.c | 60 next && is_copy(&next->cap, &cte->cap); 78 prev && is_copy(&prev->cap, &cte->cap); 101 struct cte *next = mdb_find_greater(&cte->cap, false); 103 && get_type_root(next->cap.type) == get_type_root(cte->cap.type) 104 && get_address(&next->cap) < get_address(&cte->cap) + get_size(&cte->cap); 186 mdb_get_copy(struct capability *cap, struct capability **ret) argument [all...] |
/barrelfish-2018-10-04/tools/ |
H A D | create_mdb_dot.py | 90 # nodes is map of kernel addr to cap 96 kaddr, cap = match.groups() 97 nodes[int(kaddr, 0)] = Capability(cap) 101 for kaddr,cap in nodedict.items(): 102 left = cap.leftval 103 right = cap.rightval 106 leftcap.set_parent(cap) 111 rightcap.set_parent(cap) 115 cap.set_left(leftcap) 116 cap [all...] |
/barrelfish-2018-10-04/usr/drivers/ioat_dma/ |
H A D | dma_service.h | 28 * \param cap the capability to register 34 struct capref cap); 40 * \param cap the capability to deregister 46 struct capref cap);
|
/barrelfish-2018-10-04/lib/barrelfish/slot_alloc/ |
H A D | internal.h | 19 errval_t multi_free(struct slot_allocator *ca, struct capref cap); 22 errval_t two_level_free(struct slot_allocator *ca, struct capref cap);
|
/barrelfish-2018-10-04/usr/monitor/capops/ |
H A D | caplock.c | 21 caplock_wait(struct domcapref cap, argument 29 caplock_unlock(struct domcapref cap) argument 31 errval_t err = monitor_unlock_cap(cap.croot, cap.cptr, cap.level); 35 DEBUG_ERR(err, "unlocking cap"); 38 USER_PANIC_ERR(err, "unlocking cap");
|
H A D | retrieve.c | 22 struct domcapref cap; member in struct:retrieve_rpc_st 47 capops_retrieve(struct domcapref cap, argument 56 err = dom_cnode_get_state(cap, &state); 63 err = monitor_lock_cap(cap.croot, cap.cptr, cap.level); 70 rst->cap = cap; 74 err = monitor_domains_cap_identify(cap.croot, cap 172 struct capref cap; local [all...] |
/barrelfish-2018-10-04/kernel/arch/arm/ |
H A D | irq.c | 42 err = caps_lookup_slot(&dcb_current->cspace.cap, endpoint, 50 // Return w/error if cap is not an endpoint 51 if (recv->cap.type != ObjType_EndPoint) { 56 if (recv->cap.u.endpoint.listener == NULL) { 62 if (irq_dispatch[nidt].cap.type != ObjType_Null) { 93 irq_dispatch[nidt].cap.type = ObjType_Null; 106 if (kcb->irq_dispatch[i].cap.type == ObjType_EndPoint) { 107 struct capability *cap = &kcb->irq_dispatch[i].cap; local 109 errval_t err = lmp_deliver_payload(cap, NUL 137 struct capability *cap = &irq_dispatch[irq].cap; local [all...] |
/barrelfish-2018-10-04/lib/devif/ |
H A D | region_pool.h | 41 * @param cap The cap of the region 48 struct capref cap, 56 * @param cap The cap of the region 62 struct capref cap, 69 * @param cap Return pointer to the cap of the removed region 75 struct capref* cap);
|
H A D | queue_interface_internal.c | 41 errval_t devq_add_region(struct devq* q, struct capref cap, argument 46 err = region_pool_add_region_with_id(q->pool, cap, rid); 53 struct capref cap; local 55 err = region_pool_remove_region(q->pool, rid, &cap);
|
/barrelfish-2018-10-04/usr/pci/ |
H A D | pci_msix.c | 101 uint32_t cap[3]; local 109 cap[0] = pci_read_conf_header(addr, off); 113 cap[0] |= (1 << 31); 116 cap[0] &= ~(1 << 31); 118 pci_write_conf_header(addr, off, cap[0]); 125 uint32_t cap[3]; local 146 cap[0] = pci_read_conf_header(addr, off); 147 cap[1] = pci_read_conf_header(addr, off + 1); 148 cap[2] = pci_read_conf_header(addr, off + 2); 154 *count = ((cap[ [all...] |
/barrelfish-2018-10-04/usr/monitor/ |
H A D | invocations.c | 17 bool monitor_can_send_cap(struct capability *cap) argument 20 return !((cap->type == ObjType_Null) || (cap->type == ObjType_EndPoint) 21 || (cap->type == ObjType_Dispatcher) || (cap->type == ObjType_Kernel) 22 || (cap->type == ObjType_IRQTable)); 26 * \brief Invoke the kernel cap to acquire the raw metadata of a cap. 28 * \param cap The cap t 31 monitor_cap_identify(struct capref cap, struct capability *out) argument 66 monitor_domains_cap_identify(struct capref croot, capaddr_t cap, int level, struct capability *out) argument 94 monitor_remote_relations(struct capref cap, uint8_t relations, uint8_t mask, uint8_t *ret_relations) argument 107 monitor_cap_has_relations(struct capref cap, uint8_t mask, uint8_t *res) argument 118 monitor_nullify_cap(struct capref cap) argument 132 monitor_cap_create(struct capref dest, struct capability *cap, coreid_t owner) argument 173 monitor_copy_if_exists(struct capability* cap, struct capref dest) argument 227 monitor_has_descendants(struct capability *cap, bool *res) argument 232 monitor_is_retypeable(struct capability *cap, gensize_t offset, gensize_t objsize, size_t count) argument 249 monitor_delete_foreigns(struct capref cap) argument 264 monitor_revoke_mark_relations(struct capability *cap) argument [all...] |
/barrelfish-2018-10-04/lib/dma/include/client/ |
H A D | dma_client_request_internal.h | 19 struct capref cap; member in struct:dma_client_request
|