Searched refs:slot_alloc (Results 101 - 125 of 149) sorted by relevance

123456

/barrelfish-master/usr/monitor/arch/armv7/
H A Dinter.c77 err = slot_alloc(&frame);
/barrelfish-master/usr/monitor/arch/armv8/
H A Dinter.c77 err = slot_alloc(&frame);
/barrelfish-master/usr/monitor/capops/
H A Dretrieve.c173 err = slot_alloc(&cap);
H A Dmove.c192 err = slot_alloc(capref);
/barrelfish-master/usr/monitor/
H A Dump_support.c591 err = slot_alloc(&notify_cap);
603 err = slot_alloc(&frame);
733 err = slot_alloc(&frame_copy);
756 err = slot_alloc(&notify_cap);
H A Dinter.c348 err = slot_alloc(&vroot);
369 err = slot_alloc(&disp);
654 err = slot_alloc(&kcb_capref);
H A Dmonitor_rpc_server.c382 slot_alloc(&dest_cap);
429 slot_alloc(&dest_cap);
828 err = slot_alloc(&monep);
H A Dspawn.c384 err = slot_alloc(&frame);
/barrelfish-master/usr/tests/devif/
H A Didc_endpoint.c73 *err = slot_alloc(cap);
/barrelfish-master/usr/tests/idctest/
H A Didctest.c174 err = slot_alloc(&myst->cap3);
/barrelfish-master/usr/tests/multihoptest/
H A Dmultihoptest.c116 err = slot_alloc(&myst->cap2);
/barrelfish-master/usr/bench/bomp_mm/
H A Dmm.c103 err = slot_alloc(&copy);
104 EXPECT_SUCCESS(err, "slot_alloc\n");
133 err = slot_alloc(&copy);
134 EXPECT_SUCCESS(err, "slot_alloc\n");
/barrelfish-master/usr/drivers/e10k/
H A Ddevif_backend_e10k.c634 err = slot_alloc(&regs);
639 err = slot_alloc(&(q->filter_ep));
/barrelfish-master/lib/net_sockets/
H A Dnet_sockets.c497 err = slot_alloc(&descq_ep);
576 err = slot_alloc(&ep);
/barrelfish-master/usr/drivers/solarflare/
H A Ddevif_backend_solarflare.c598 err = slot_alloc(&regs);
603 err = slot_alloc(&queue->filter_ep);
/barrelfish-master/include/barrelfish/
H A Dcapabilities.h26 #include <barrelfish/slot_alloc.h>
/barrelfish-master/lib/barrelfish/arch/arm/
H A Dpmap.c75 errval_t err = slot_alloc(mapping);
316 err = slot_alloc(&newvnode->u.vnode.cap);
335 err = slot_alloc(&newvnode->mapping);
1238 errval_t err = slot_alloc(&pmap_arm->root.u.vnode.invokable);
/barrelfish-master/usr/bench/distops/
H A Ddelete_cnode_last_copy.c204 err = slot_alloc(&ns->copies[i]);
205 PANIC_IF_ERR(err, "slot_alloc for copy %d\n", i);
/barrelfish-master/usr/bench/xcorecap/
H A Dxcorecapbench.c70 err = slot_alloc(&retyped_caps[i]);
/barrelfish-master/usr/bench/xomp_bench/
H A Dshare_bench.c62 err = slot_alloc(&copy);
/barrelfish-master/usr/drivers/ahcid/
H A Dtest.c303 err = slot_alloc(&fcopy);
/barrelfish-master/usr/kaluga/
H A Darmv7.c85 err = slot_alloc(&irq_src);
/barrelfish-master/usr/drivers/e1000/
H A Ddevif_backend_e1000.c642 err = slot_alloc(&device->regs);
647 err = slot_alloc(&device->irq);
653 err = slot_alloc(&device->iommu_ep);
/barrelfish-master/usr/arrakismon/
H A Dguest.h38 struct multi_slot_allocator slot_alloc; member in struct:guest
/barrelfish-master/usr/drivers/cpuboot/
H A Dmain.c60 err = slot_alloc(&ipi_cap);
62 USER_PANIC_ERR(err, "slot_alloc for monitor->get_ipi_cap failed");

Completed in 316 milliseconds

123456