/barrelfish-2018-10-04/lib/libc/rpc/ |
H A D | pmap_rmt.c | 120 xdr_rmtcall_args(XDR *xdrs, struct rmtcallargs *cap) argument 125 assert(cap != NULL); 127 if (xdr_u_long(xdrs, &(cap->prog)) && 128 xdr_u_long(xdrs, &(cap->vers)) && 129 xdr_u_long(xdrs, &(cap->proc))) { 131 if (! xdr_u_long(xdrs, &(cap->arglen))) 134 if (! (*(cap->xdr_args))(xdrs, cap->args_ptr)) 137 cap->arglen = (u_long)position - (u_long)argposition; 139 if (! xdr_u_long(xdrs, &(cap [all...] |
/barrelfish-2018-10-04/kernel/ |
H A D | capabilities.c | 58 STATIC_ASSERT(50 == ObjType_Num, "Knowledge of all cap types"); 59 int sprint_cap(char *buf, size_t len, struct capability *cap) argument 62 switch (cap->type) { 65 "physical address range cap (0x%" PRIxGENPADDR ":0x%" PRIxGENSIZE ")", 66 cap->u.physaddr.base, cap->u.physaddr.bytes); 69 return snprintf(buf, len, "RAM cap (0x%" PRIxGENPADDR ":0x%" PRIxGENSIZE ")", 70 cap->u.ram.base, cap->u.ram.bytes); 73 int ret = snprintf(buf, len, "L1 CNode cap " [all...] |
H A D | monitor.c | 34 err = caps_lookup_cap(&dcb_current->cspace.cap, ep_caddr, 2, &ep, 52 struct cte *cap; local 53 err = caps_lookup_slot(&dcb_current->cspace.cap, caddr, level, &cap, 60 if (mask & RRELS_COPY_BIT && has_copies(cap)) { 63 if (mask & RRELS_ANCS_BIT && has_ancestors(cap)) { 66 if (mask & RRELS_DESC_BIT && has_descendants(cap)) { 87 if (caps_should_trace(&cte->cap)) { 123 struct capability *cap; local 124 errval_t err = caps_lookup_cap(root, cptr, level, &cap, CAPRIGHTS_REA [all...] |
H A D | kcb.c | 109 struct capability *cap = &kcb->irq_dispatch[i].cap; local 110 if (cap->type == ObjType_EndPoint) { 112 my_core_id, get_disp_name(cap->u.endpoint.listener)); 114 get_dispatcher_shared_generic(cap->u.endpoint.listener->disp);
|
/barrelfish-2018-10-04/usr/monitor/ |
H A D | send_cap.c | 33 captx_prepare_send(struct capref cap, coreid_t dest, bool give_away, argument 42 capops_copy(cap, dest, give_away, captx_prepare_copy_result_cont, state); 52 // got a null cap, return null capref 88 struct capref cap; local 89 err = captx_get_capref(captx->cnptr, captx->cnlevel, captx->slot, &cap); 91 recv_cont(err, state, cap, st);
|
/barrelfish-2018-10-04/lib/octopus/server/ |
H A D | capstorage.c | 9 * 1. It's easy for clients to change cap info in SKB and 45 err = b->tx_vtbl.get_cap_response(b, MKCONT(free, ns), ns->cap, ns->error); 59 struct capref cap; local 61 capdb->d.get_capability(&capdb->d, (CONST_CAST)key, &cap); 63 if(capcmp(cap, NULL_CAP)) { 70 ns->cap = cap; 91 struct capref cap) 99 err = cap_delete(cap); 104 int r = capdb->d.put_capability(&capdb->d, (CONST_CAST)key, cap); 90 put_cap_handler(struct octopus_binding *b, const char *key, struct capref cap) argument 135 sput_cap_handler(struct octopus_binding *b, const char *key, struct capref cap) argument 190 struct capref cap; local [all...] |
/barrelfish-2018-10-04/usr/monitor/include/ |
H A D | monitor.h | 80 struct capability cap; member in union:capability_caprep_u 88 static inline void capability_to_caprep(struct capability *cap, argument 91 memcpy(caprep, cap, sizeof(*cap)); 95 struct capability *cap) 97 memcpy(cap, caprep, sizeof(*cap)); 102 struct capability cap; local 103 memcpy(&cap, caprep, sizeof(cap)); 94 caprep_to_capability(intermon_caprep_t *caprep, struct capability *cap) argument 112 struct capability cap; local [all...] |
H A D | send_cap.h | 23 void captx_prepare_send(struct capref cap, coreid_t dest, bool give_away,
|
H A D | capsend.h | 52 errval_t capsend_copies(struct capability *cap, 56 errval_t capsend_relations(struct capability *cap, 63 errval_t capsend_find_cap(struct capability *cap,
|
/barrelfish-2018-10-04/usr/monitor/include/arch/x86_32/ |
H A D | monitor_invocations_arch.h | 27 capaddr_t cap, int bits, 32 root_cap, root_bits, cap, bits, 54 invoke_monitor_identify_cap(capaddr_t cap, int bits, struct capability *out) argument 60 | SYSCALL_INVOKE, invoke_cptr, cap, bits, 66 capaddr_t cap, int bits, 74 cap, bits, (uintptr_t)out).error; 78 invoke_monitor_nullify_cap(capaddr_t cap, int bits) argument 84 | SYSCALL_INVOKE, invoke_cptr, cap, bits).error; 116 invoke_trace_setup(struct capref cap) argument 124 idc_msg_encode_word(&msg, get_cap_addr(cap)); 26 invoke_monitor_remote_relations(capaddr_t root_cap, int root_bits, capaddr_t cap, int bits, uint8_t relations, uint8_t mask, uint8_t *ret_remote_relations) argument 65 invoke_monitor_identify_domains_cap(capaddr_t root_cap, int root_bits, capaddr_t cap, int bits, struct capability *out) argument 130 invoke_domain_id(struct capref cap, domainid_t domain_id) argument 261 invoke_monitor_get_cap_owner(capaddr_t root, int rbits, capaddr_t cap, int cbits, coreid_t *ret_owner) argument 272 invoke_monitor_set_cap_owner(capaddr_t root, int rbits, capaddr_t cap, int cbits, coreid_t owner) argument 278 invoke_monitor_lock_cap(capaddr_t root, int rbits, capaddr_t cap, int cbits) argument 284 invoke_monitor_unlock_cap(capaddr_t root, int rbits, capaddr_t cap, int cbits) argument 290 invoke_monitor_delete_last(capaddr_t root, int rbits, capaddr_t cap, int cbits, capaddr_t retcn, int retcnbits, cslot_t retslot) argument 302 invoke_monitor_delete_foreigns(capaddr_t cap, int bits) argument 308 invoke_monitor_revoke_mark_target(capaddr_t root, int rbits, capaddr_t cap, int cbits) argument [all...] |
/barrelfish-2018-10-04/usr/tests/capops/ |
H A D | retype.c | 75 struct capref cap, cap2, cnram, cncap; local 78 err = slot_alloc(&cap); 89 err = cap_retype(cap, bunch_o_ram, 0, ObjType_Frame, BASE_PAGE_SIZE, 1); 91 err = frame_identify(cap, &fi); 147 slot_free(cap); 165 struct capref cap, cap2; local 168 err = slot_alloc(&cap); 175 err = cap_retype(cap, bunch_o_ram, 0, ObjType_Frame, BASE_PAGE_SIZE, 1); 177 err = frame_identify(cap, &fi); 201 /* delete first cap an 232 struct capref cap, cap2; local 297 struct capref cap; local [all...] |
/barrelfish-2018-10-04/usr/monitor/capops/ |
H A D | copy.c | 39 /// cap that is being copied out 40 struct capref cap; member in struct:cap_copy_rpc_st 47 /// whether the local cap should be deleted when the rpc is complete 49 /// cap was last copy on request source (only relevant if delete_after is true) 185 owner_copy__enq(struct capref capref, struct capability *cap, coreid_t from, argument 209 rpc_st->cap = capref; 220 // XXX: short-circuit out if cap we're sending is null cap 221 if (cap->type == ObjType_Null) { 222 rpc_st->cap 353 struct capability cap; local 499 struct capability cap; local 574 struct capability cap; local 644 struct capability cap; local [all...] |
H A D | revoke.c | 24 struct domcapref cap; member in struct:revoke_master_st 37 struct capref cap; member in struct:revoke_slave_st 64 capops_revoke(struct domcapref cap, argument 73 err = dom_cnode_get_state(cap, &state); 84 rst->cap = cap; 85 err = monitor_domains_cap_identify(cap.croot, cap.cptr, cap.level, &rst->rawcap); 92 DEBUG_CAPOPS("%s getting cap ownershi [all...] |
H A D | delete.c | 63 send_new_ram_cap(struct capref cap) argument 69 err = monitor_cap_identify(cap, &cap_data); 87 err = b->rpc_tx_vtbl.free_monitor(b, cap, ram.base, log2ceil(ram.bytes), &result); 98 err = cap_delete(cap); 127 // at this point the cap has become "unlocked" because it is either deleted 147 * Non-moveable cap types: deleting all foreign copies when last owned copy of 148 * cap is deleted 160 delete_remote__enq(struct capability *cap, struct delete_st *st) argument 171 err = capsend_copies(cap, delete_remote__send, 227 struct capability cap; local 496 capops_delete(struct domcapref cap, delete_result_handler_t result_handler, void *st) argument [all...] |
/barrelfish-2018-10-04/usr/mem_serv_dist/ |
H A D | hybrid_support.c | 47 struct capref *acap, cap; member in struct:pending_reply 55 struct capref *cap = arg; local 57 if(!capref_is_null(*cap)) { 58 errval_t err = cap_delete(*cap); 64 free(cap); 100 err = b->tx_vtbl.steal_response(b, NOP_CONT, r->err, r->cap); 221 struct capref cap; local 222 ret = percore_steal_handler_common(bits, minbase, maxlimit, &cap); 225 err = b->tx_vtbl.steal_response(b, NOP_CONT, ret, cap); 232 r->cap 249 struct capref *cap = malloc(sizeof(struct capref)); local [all...] |
/barrelfish-2018-10-04/include/dma/ |
H A D | dma_service.h | 28 struct capref cap); 32 struct capref cap);
|
/barrelfish-2018-10-04/usr/kaluga/ |
H A D | int_caps.c | 20 struct capref cap = { local 24 err = cap_retype(cap, all_irq_cap, start, ObjType_IRQSrc, 27 DEBUG_ERR(err, "Could not create int_src cap"); 34 * Initialize the cap manager. It will track retypes of all_irq_cap
|
/barrelfish-2018-10-04/lib/octopus/client/ |
H A D | capability_storage.c | 51 * \param cap The capability to store 53 errval_t oct_put_capability(const char *key, struct capref cap) argument 58 errval_t err = cl->call_seq.put_cap(cl, key, cap, &reterr); 74 * \param[in] cap The capability to store 77 errval_t oct_sput_capability(const char *key, struct capref cap, char **outkey) argument 84 err = cl->call_seq.sput_cap(cl, key, cap, reply.retkey, &reply.reterr);
|
/barrelfish-2018-10-04/kernel/arch/x86_64/ |
H A D | dispatch.c | 39 assert(dcb->disp_cte.cap.type == ObjType_Frame);
|
/barrelfish-2018-10-04/include/arch/arm/barrelfish/ |
H A D | pmap_arch.h | 23 struct capref cap; member in struct:pmap_dump_info
|
/barrelfish-2018-10-04/include/barrelfish/ |
H A D | debug.h | 29 errval_t debug_cap_identify(struct capref cap, struct capability *ret); 35 int debug_print_cap(char *buf, size_t len, struct capability *cap); 36 int debug_print_cap_at_capref(char *buf, size_t len, struct capref cap); 37 int debug_print_capref(char *buf, size_t len, struct capref cap);
|
H A D | slot_alloc.h | 27 errval_t (*alloc)(struct slot_allocator *ca, struct capref *cap); 28 errval_t (*free)(struct slot_allocator *ca, struct capref cap); 43 struct capref cap; ///< Cap of the cnode the allocator is tracking member in struct:single_slot_allocator 82 struct capref cap, struct cnoderef cnode, 110 errval_t range_slot_free(struct range_slot_allocator *alloc, struct capref cap,
|
/barrelfish-2018-10-04/include/devif/backends/ |
H A D | debug.h | 35 * @param cap cap to the region 40 errval_t debug_add_region(struct debug_q*, struct capref cap,
|
/barrelfish-2018-10-04/include/mdb/ |
H A D | types.h | 37 struct capability cap; member in struct:cte
|
/barrelfish-2018-10-04/kernel/include/ |
H A D | capabilities.h | 42 "cap+mdbnode fit in cte"); 54 struct capability cap; ///< The capability member in struct:cte 56 struct mdbnode mdbnode; ///< MDB "root" node for the cap 75 static inline struct cte *cte_for_cap(struct capability *cap) argument 77 return (struct cte *) ((char *)cap - offsetof(struct cte, cap)); 83 * Return the offset at which the mapping cap maps the backing frame. 86 static inline size_t caps_get_mapping_offset(struct capability *cap) { 91 switch (cap->type) { 107 return cap 222 caps_should_trace(struct capability *cap) argument [all...] |