Searched refs:cap (Results 1 - 25 of 308) sorted by relevance

1234567891011>>

/barrelfish-2018-10-04/usr/monitor/include/
H A Ddom_invocations.h16 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 Ddomcap.h23 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 Dmonitor_invocations.h25 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 Dcaplock.h19 void caplock_wait(struct domcapref cap,
22 void caplock_unlock(struct domcapref cap);
/barrelfish-2018-10-04/usr/tests/mdbtests/
H A Dtest_addr_zero.c26 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 Dclock.h21 errval_t clock_init(struct capref cap);
/barrelfish-2018-10-04/kernel/
H A Dpaging_generic.c26 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 Dsys_debug.c41 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 Dcaddr.h111 * \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 Dmem_free.c27 // 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 Drootcn_resize.c24 struct capref cap; local
26 err = slot_alloc(&cap);
33 err = cap_copy(cap, cap_vroot);
/barrelfish-2018-10-04/lib/barrelfish/
H A Ddebug.c60 * 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 Dhost.h18 errval_t vblock_host_get_device_cap(struct capref *cap);
/barrelfish-2018-10-04/lib/mdb/
H A Dmdb.c60 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 Dcreate_mdb_dot.py90 # 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 Ddma_service.h28 * \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 Dinternal.h19 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 Dcaplock.c21 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 Dretrieve.c22 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 Dirq.c42 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 Dregion_pool.h41 * @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 Dqueue_interface_internal.c41 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 Dpci_msix.c101 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 Dinvocations.c17 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 Ddma_client_request_internal.h19 struct capref cap; member in struct:dma_client_request

Completed in 327 milliseconds

1234567891011>>