/barrelfish-2018-10-04/lib/devif/ |
H A D | region.c | 52 * @param cap Capability of the memory region 59 struct capref* cap) 70 tmp->cap = cap; 72 err = invoke_frame_identify(*cap, &id); 57 region_init(struct region** region, regionid_t region_id, struct capref* cap) argument
|
H A D | region.h | 29 struct capref* cap; member in struct:region 39 * @param cap Capability of the memory region 45 struct capref* cap);
|
/barrelfish-2018-10-04/usr/tests/distops/ |
H A D | delete.c | 21 static void debug_capref(const char *prefix, struct capref cap) argument 24 debug_print_capref(buf, 128, cap); 38 // Access cap in CNode when CNode exists on server, then delete our copy 45 //{{{1 Server-side cap operations 60 void server_do_test(struct test_binding *b, uint32_t test, struct capref cap) argument 70 err = cap_copy(st->cnode, cap); 71 PANIC_IF_ERR(err, "cap copy to root cnode"); 74 err = cap_destroy(cap); 78 PANIC_IF_ERR(err, "cap destroy of received cap"); 106 struct capref cap; member in struct:client_state 127 struct capref cap = cst->cap; local 139 client_do_test(struct test_binding *b, uint32_t test, struct capref cap) argument [all...] |
H A D | revoke.c | 22 static void debug_capref(const char *prefix, struct capref cap) argument 25 debug_print_capref(buf, 128, cap); 30 // Try to retype ram (should fail) then revoke RAM cap 43 //{{{1 Server-side cap operations 58 void server_do_test(struct test_binding *b, uint32_t test, struct capref cap) argument 66 st->ram = cap; 69 printf("server: try retype on already retyped RAM cap\n"); 72 printf("server: revoke RAM cap\n"); 83 printf("server: try retype on revoked cap\n"); 94 //{{{1 Client-side cap operation 129 client_do_test(struct test_binding *b, uint32_t test, struct capref cap) argument [all...] |
/barrelfish-2018-10-04/kernel/ |
H A D | cap_delete.c | 44 * \brief Try a "simple" delete of a cap. If this fails, the monitor needs to 58 || cte->cap.type == ObjType_L1CNode 59 || cte->cap.type == ObjType_L2CNode 60 || cte->cap.type == ObjType_Dispatcher) 70 * \brief Delete the last copy of a cap in the entire system. 100 if (cte->cap.type == ObjType_L1CNode || 101 cte->cap.type == ObjType_L2CNode) 105 for (cslot_t i = 0; i < cnode_get_slots(&cte->cap); i++) { 106 struct cte *slot = caps_locate_slot(get_address(&cte->cap), i); 116 else if (cte->cap 119 struct capability *cap = &cte->cap; local 171 struct capability *cap = &cte->cap; local 211 struct capability *cap = &cte->cap; local [all...] |
/barrelfish-2018-10-04/usr/bench/mdb_bench/ |
H A D | reset.c | 30 struct capability cap = { local 35 ctes[i].cap = cap; 52 struct capability cap = { local 57 ctes[i].cap = cap; 82 struct capability cap = { local 87 ctes[i].cap = cap; 107 // randomly select source cap, no 129 struct capability cap = { local [all...] |
/barrelfish-2018-10-04/lib/mm/ |
H A D | slot_alloc.c | 35 // Allocate a ram cap 59 &this->meta[refill].cap.cnode, L2_CNODE_SLOTS); 65 this->meta[refill].cap.slot = 0; 87 *ret = this->meta[this->current].cap; 88 this->meta[this->current].cap.slot += nslots; 99 * \param initial_cnode First cap in an empty cnode to start allocating from 117 this->meta[0].cap = initial_cnode; 127 this->cap.cnode.croot = CPTR_ROOTCN; 128 this->cap.cnode.cnode = ROOTCN_SLOT_ADDR(ROOTCN_SLOT_SLOT_ALLOC0); 129 this->cap [all...] |
/barrelfish-2018-10-04/include/virtio/ |
H A D | virtio_guest.h | 34 errval_t (*req)(uint64_t size, struct capref *cap); 83 struct capref *cap) 85 return vguest_chan_fn->req(size, cap); 82 virtio_guest_request_mem(uint64_t size, struct capref *cap) argument
|
/barrelfish-2018-10-04/include/barrelfish/ |
H A D | monitor_client.h | 27 void (*cap_receive_handler)(void *st, errval_t success, struct capref cap, 48 errval_t monitor_cap_set_remote(struct capref cap, bool remote); 52 errval_t monitor_cap_identify_remote(struct capref cap, struct capability *ret);
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/crypto/pkcs7/ |
H A D | pk7_attr.c | 69 int PKCS7_add_attrib_smimecap(PKCS7_SIGNER_INFO *si, STACK_OF(X509_ALGOR) *cap) argument 76 seq->length = ASN1_item_i2d((ASN1_VALUE *)cap,&seq->data, 84 ASN1_TYPE *cap; local 87 cap = PKCS7_get_signed_attribute(si, NID_SMIMECapabilities); 88 if (!cap || (cap->type != V_ASN1_SEQUENCE)) 90 p = cap->value.sequence->data; 92 ASN1_item_d2i(NULL, &p, cap->value.sequence->length,
|
/barrelfish-2018-10-04/include/target/aarch64/barrelfish/ |
H A D | pmap_target.h | 28 struct capref cap; ///< Capability of this VNode member in struct:vnode::__anon343::__anon344 29 struct capref invokable; ///< Copy of VNode cap that is invokable 33 struct capref cap; ///< Capability of this VNode member in struct:vnode::__anon343::__anon345 34 genvaddr_t offset; ///< Offset within mapped frame cap
|
/barrelfish-2018-10-04/include/target/arm/barrelfish/ |
H A D | pmap_target.h | 25 struct capref mapping; ///< Mapping cap for this vnode 28 struct capref cap; ///< Capability of this VNode member in struct:vnode::__anon346::__anon347 33 struct capref cap; ///< Capability of this VNode member in struct:vnode::__anon346::__anon348 34 genvaddr_t offset; ///< Offset within mapped frame cap
|
/barrelfish-2018-10-04/include/target/x86/barrelfish/ |
H A D | pmap_target.h | 25 struct capref mapping; ///< mapping cap associated with this node 28 struct capref cap; ///< VNode cap member in struct:vnode::__anon356::__anon357 29 struct capref invokable; ///< Copy of VNode cap that is invokable 33 struct capref cap; ///< Frame cap member in struct:vnode::__anon356::__anon358 34 genvaddr_t offset; ///< Offset within mapped frame cap
|
/barrelfish-2018-10-04/usr/bench/shared_mem_clock/ |
H A D | clock.c | 49 errval_t clock_init(struct capref cap) argument 53 err = vspace_map_one_frame(&buf, BASE_PAGE_SIZE, cap, NULL, NULL);
|
/barrelfish-2018-10-04/include/dma/ |
H A D | dma_mem_mgr.h | 55 * \param cap frame capability of the memory region to register 61 struct capref cap); 68 * \param cap frame capability of the memory region to register 74 struct capref cap);
|
/barrelfish-2018-10-04/usr/mem_serv_dist/ |
H A D | no_steal.c | 33 void try_steal(errval_t *ret, struct capref *cap, uint8_t bits, argument 40 *cap = NULL_CAP;
|
H A D | steal.h | 24 void try_steal(errval_t *ret, struct capref *cap, uint8_t bits,
|
/barrelfish-2018-10-04/usr/monitor/capops/ |
H A D | delete_int.h | 37 struct capability cap; member in struct:delete_st 46 void send_new_ram_cap(struct capref cap);
|
/barrelfish-2018-10-04/usr/monitor/ |
H A D | ram_alloc.c | 28 struct capref *cap = (struct capref*)st; local 32 DEBUG_ERR(status, "capops_delete failed, cap will leak"); 35 err = slot_free(*cap); 37 DEBUG_ERR(err, "slot_free failed, cap will leak"); 41 free(cap); 52 struct capref *cap = NULL; local 61 cap = malloc(sizeof(*cap)); 62 if (!cap) { 67 err = ram_alloc(cap, size_bit 129 struct capref cap; local [all...] |
/barrelfish-2018-10-04/usr/tests/mdbtests/ |
H A D | test_range_query.c | 55 genvaddr_t r_addr = get_address(&(out[j].cap)); 56 size_t r_size = get_size(&(out[j].cap)); 69 out[gencount].cap.type = ObjType_RAM; 70 out[gencount].cap.rights = CAPRIGHTS_ALLRIGHTS; 71 out[gencount].cap.u.ram = (struct RAM) { .base = begin, .bytes = 1UL << sizebits }; 123 genvaddr_t r_begin = get_address(&r->cap); 124 size_t r_size = get_size(&r->cap); 137 else if (res == CONTAINS && compare_caps(&target->cap, &r->cap, true) < 0) { 153 else if (res == INNER && compare_caps(&target->cap, [all...] |
/barrelfish-2018-10-04/lib/virtio/ |
H A D | vbuffer.h | 23 lpaddr_t offset; ///< the offset into the cap 24 struct capref cap; ///< frame capability backing this allocator member in struct:virtio_buffer_allocator
|
/barrelfish-2018-10-04/usr/drivers/xeon_phi/ |
H A D | xphi_service.h | 19 errval_t xeon_phi_service_open_channel(struct capref cap,
|
/barrelfish-2018-10-04/include/flounder/ |
H A D | flounder_support_caps.h | 4 * cap transfer 23 /// State for indirect (via monitor) cap tx/rx machinery 25 bool tx_cap_ack; ///< Waiting to send a cap ack (for current rx message) 26 bool rx_cap_ack; ///< Have seen a cap ack (for current tx message) 31 /// Continuation for cap transmission 39 struct capref cap, bool give_away,
|
/barrelfish-2018-10-04/usr/monitor/include/ |
H A D | capops.h | 23 errval_t capops_move(struct domcapref cap, coreid_t dest, 26 void capops_retrieve(struct domcapref cap, 30 void capops_delete(struct domcapref cap, 34 void capops_revoke(struct domcapref cap,
|
/barrelfish-2018-10-04/kernel/arch/x86/ |
H A D | ipi_notify.c | 47 err = caps_lookup_slot(&dcb_current->cspace.cap, ep, 55 // Return w/error if cap is not an endpoint 56 if(recv->cap.type != ObjType_EndPoint) { 61 if(recv->cap.u.endpoint.listener == NULL) { 67 if (endpoints[chanid].cap.type != ObjType_Null) { 93 assert(endpoints[val].cap.type != ObjType_Null); 94 lmp_deliver_notification(&endpoints[val].cap); 104 dispatch(endpoints[val].cap.u.endpoint.listener);
|