Searched refs:cap (Results 226 - 250 of 308) sorted by relevance

1234567891011>>

/barrelfish-2018-10-04/lib/barrelfish/arch/x86_64/
H A Dpmap.c302 page->u.frame.cap = frame;
519 struct capref cap; local
520 err = frame_alloc(&cap, bytes, &bytes);
543 err = do_map(pmap, genvaddr, cap, 0, bytes,
568 * \param frame The frame cap to map in
569 * \param offset Offset into the frame cap
723 err = vnode_unmap(info.page_table->u.vnode.cap, info.page->mapping);
853 // arguments to invocation: invoke frame cap, first affected
964 * \param retcap Returns the cap mapped at this address
965 * \param retoffset Returns the offset within the cap tha
[all...]
/barrelfish-2018-10-04/lib/driverkit/
H A Dddomain_client.c74 errval_t ddomain_driver_add_cap(struct driver_instance* drv, struct capref cap) { argument
77 drv->caps[drv->cap_idx++] = cap;
/barrelfish-2018-10-04/lib/hashtable/
H A Dhashtable.c117 struct capref cap)
125 e->capvalue = cap;
116 ht_put_capability(struct dictionary *dict, char *key, struct capref cap) argument
/barrelfish-2018-10-04/lib/net_queue_manager/
H A Dqueue_manager.c70 // struct capref cap, struct capref sp, uint64_t queueid,
292 struct buffer_descriptor *buffer, struct capref cap)
295 buffer->cap = cap;
297 errval_t err = frame_identify(cap, &pa);
305 err = vspace_map_one_frame(&buffer->va, buffer->bytes, cap,
309 err = vspace_map_one_frame_attr(&buffer->va, (1L << buffer->bits), cap,
352 static errval_t register_region(struct descq* q, struct capref cap, argument
364 err = populate_buffer(closure, buffer, cap);
372 err = debug_cap_identify(cap,
291 populate_buffer(struct client_closure *closure, struct buffer_descriptor *buffer, struct capref cap) argument
[all...]
/barrelfish-2018-10-04/kernel/arch/arm/
H A Dexn.c47 assert(dcb_current->disp_cte.cap.type == ObjType_Frame);
114 assert(dcb_current->disp_cte.cap.type == ObjType_Frame);
/barrelfish-2018-10-04/kernel/include/
H A Dsyscall.h64 struct sysret sys_trace_setup(struct capability *cap, capaddr_t cptr);
65 struct sysret sys_idcap_identify(struct capability *cap, idcap_id_t *id);
/barrelfish-2018-10-04/usr/bench/net_latency/elb/
H A Dinterface_app.c153 idc_register_buffer(binding_rx, buffer_frame, spp_rx->cap, queue, count,
157 idc_register_buffer(binding_tx, buffer_frame, spp_tx->cap, queue, count,
/barrelfish-2018-10-04/usr/drivers/cpuboot/
H A Dcommon.c87 DEBUG("%s:%s:%d: kcb cap was cached\n",
91 DEBUG("%s:%s:%d: did not find the kcb in cap storage\n",
159 errval_t cap_mark_remote(struct capref cap) argument
164 err = mc->rpc_tx_vtbl.cap_set_remote(mc, cap, true, &msgerr);
235 DEBUG_ERR(err, "Could identify frame from cap storage");
/barrelfish-2018-10-04/lib/barrelfish/
H A Dinit.c122 struct capref cap = {
133 cap, NULL, NULL);
389 * setup. We can't call anything that needs to be enabled (ie. cap invocations)
H A Dmsgbuf.c219 errval_t msgbuf_marshall_cap(struct msgbuf *msgbuf, struct capref cap) argument
236 msgbuf->caps[msgbuf->cap_pos++] = cap;
H A Dflounder_support.c133 struct capref cap, bool give_away,
142 monitor_id, cap, s->tx_capnum);
146 monitor_id, cap, s->tx_capnum);
130 flounder_stub_send_cap(struct flounder_cap_state *s, struct monitor_binding *mb, uintptr_t monitor_id, struct capref cap, bool give_away, void (*cont)(void *st)) argument
/barrelfish-2018-10-04/lib/bulk_transfer/backends/sm/
H A Dflounder_helpers.c180 p->pool_cap = f_pool->cap;
201 f_pool->cap = pool->pool_cap;
/barrelfish-2018-10-04/usr/monitor/
H A Dmonitor_server.c60 struct capref cap = { local
65 // Call frame_identify to check if cap exists
67 err1 = invoke_frame_identify(cap, &id);
71 err2 = b->tx_vtbl.multiboot_cap_reply(b, NOP_CONT, cap, err1);
277 /* Delete the EP cap */
278 // Do not delete the cap if client or service is monitor itself
319 // save EP cap to be destroyed after the send is done
453 // save EP cap to be destroyed after the send is done
529 /* Delete the ep cap */
530 // XXX: Do not delete the cap i
777 struct capref cap; member in struct:send_cap_st
832 cap_send_request(struct monitor_binding *b, uintptr_t my_mon_id, struct capref cap, uint32_t capid) argument
[all...]
/barrelfish-2018-10-04/kernel/arch/armv7/
H A Dpaging.c555 struct capability *src_cap = &src_cte->cap;
556 struct capability *dest_cap = &dest_vnode_cte->cap;
557 assert(mapping_cte->cap.type == ObjType_Null);
587 assert(type_is_mapping(mapping_cte->cap.type));
620 lvaddr_t base = local_phys_to_mem(get_address(&info->ptable->cap)) +
H A Dstartup_arch.c35 #define CNODE(cte) get_address(&cte->cap)
204 // create cap for strings area in first slot of modulecn
234 assert(st->modulecn_slot < cnode_get_slots(&st->modulecn->cap));
235 // create as DevFrame cap to avoid zeroing memory contents
597 // Urpc frame cap
608 urpc_frame_cte->cap.type = ObjType_Frame;
609 lpaddr_t urpc_ptr = gen_phys_to_local_phys(urpc_frame_cte->cap.u.frame.base);
/barrelfish-2018-10-04/kernel/arch/armv8/
H A Dpaging.c648 struct capability *src_cap = &src_cte->cap;
649 struct capability *dest_cap = &dest_vnode_cte->cap;
650 assert(mapping_cte->cap.type == ObjType_Null);
661 assert(mapping_cte->cap.type == ObjType_Null);
667 /* insert mapping cap into mdb */
738 lvaddr_t base = local_phys_to_mem(get_address(&info->ptable->cap)) +
H A Dsyscall.c386 err = caps_lookup_slot(&dcb_current->cspace.cap, mapping_cptr, mapping_bits,
437 /// Different handler for cap operations performed by the monitor
441 return handle_retype_common(&dcb_current->cspace.cap, true, context, argc);
458 .value = (next && is_ancestor(&next->cap, src)),
500 // user pointer to src cap, check access
657 // user pointer to src cap, check access
687 /* Create the cap in the destination */
708 return SYSRET(caps_create_from_existing(&dcb_current->cspace.cap,
727 * \brief Spawn a new core and create a kernel cap for it.
759 return sys_monitor_identify_cap(&dcb_current->cspace.cap, cpt
819 dispatcher_dump_capabilities(struct capability *cap, arch_registers_state_t* context, int argc) argument
[all...]
/barrelfish-2018-10-04/lib/virtio/
H A Dvirtqueue_host.c35 struct capref cap; member in struct:vring_mem_info
278 VIRTIO_DEBUG_VQ("failed to identify vring cap.\n");
300 VIRTIO_DEBUG_VQ("failed to map vring cap.\n");
325 mi->cap = vring_cap;
386 VIRTIO_DEBUG_VQ("ERROR: supplied cap was too small %lx, needed %lx\n",
596 * \param cap frame capability used as backing memory for the structure
604 struct capref cap)
614 err = frame_identify(cap, &id);
619 /* check if we have enough space in the given cap */
625 err = vspace_map_one_frame(&addr, id.bytes, cap, NUL
601 vring_init_from_cap(struct vring *vr, uint16_t num, uintptr_t align, struct capref cap) argument
[all...]
/barrelfish-2018-10-04/usr/drivers/solarflare/
H A Ddevif_backend_solarflare.c132 static errval_t sfn5122f_register(struct devq* q, struct capref cap, argument
142 err = queue->b->rpc_tx_vtbl.register_region(queue->b, queue->id, cap,
150 err = invoke_frame_identify(cap, &id);
161 entry->cap = cap;
/barrelfish-2018-10-04/lib/devif/backends/idc/
H A Ddesc_queue.c236 static errval_t descq_register(struct devq* q, struct capref cap, argument
243 err = queue->binding->rpc_tx_vtbl.register_region(queue->binding, cap, rid, &err2);
327 static errval_t mp_reg(struct descq_binding* b, struct capref cap, argument
333 *err = devq_add_region((struct devq*) q, cap, rid);
338 *err = q->f.reg(q, cap, rid);
/barrelfish-2018-10-04/lib/devif/backends/net/e10k/
H A Ddevif_backend_e10k.c282 static errval_t e10k_register(struct devq* q, struct capref cap, regionid_t rid) argument
288 err = invoke_frame_identify(cap, &id);
294 err = vspace_map_one_frame_attr(&va, id.bytes, cap,
304 entry->cap = cap;
/barrelfish-2018-10-04/doc/013-capability-mgmt/
H A Dtype_system.tex138 \arg Destination cspace cap address relative to source cspace
140 \arg Slot in destination CNode cap to place copy into
141 \arg Address of cap to copy.
144 \arg 1st cap-dependent parameter.
145 \arg 2nd cap-dependent parameter.
159 \arg Slot in CNode cap to place copy into.
161 \arg Address of cap to copy.
167 for copy and mint, and a mint with both cap-dependent parameters set to zero
172 \arg Source cspace cap address in our cspace.
173 \arg Address of cap t
[all...]
/barrelfish-2018-10-04/usr/drivers/megaraid/
H A Dmegaraid_vsic.c103 struct capref cap = NULL_CAP; local
105 size, &cap);
108 errval_t err = invoke_frame_identify(cap, &id);
/barrelfish-2018-10-04/usr/ramfsd/
H A Dmain.c465 static void multiboot_cap_reply(struct monitor_binding *st, struct capref cap, argument
490 // Move the cap into the multiboot cnode
495 err = cap_copy(dest, cap);
497 err = cap_destroy(cap);
524 // Make first multiboot cap request
/barrelfish-2018-10-04/lib/devif/backends/net/mlx4/drivers/infiniband/core/
H A Duverbs_cmd.c1094 attr.cap.max_send_wr = cmd.max_send_wr;
1095 attr.cap.max_recv_wr = cmd.max_recv_wr;
1096 attr.cap.max_send_sge = cmd.max_send_sge;
1097 attr.cap.max_recv_sge = cmd.max_recv_sge;
1098 attr.cap.max_inline_data = cmd.max_inline_data;
1136 resp.max_recv_sge = attr.cap.max_recv_sge;
1137 resp.max_send_sge = attr.cap.max_send_sge;
1138 resp.max_recv_wr = attr.cap.max_recv_wr;
1139 resp.max_send_wr = attr.cap.max_send_wr;
1140 resp.max_inline_data = attr.cap
[all...]

Completed in 310 milliseconds

1234567891011>>