Searched refs:ram_cap (Results 1 - 6 of 6) sorted by relevance

/barrelfish-2018-10-04/usr/tests/xcorecaps/
H A Dxcorecap.c28 static void create_ram_cap(struct capref * ram_cap) { argument
32 err = ram_alloc(ram_cap, ALLOC_BITS);
38 static errval_t retype_cap(struct capref * ram_cap, struct capref * frame_cap) argument
48 err = cap_retype(*frame_cap, *ram_cap, 0, ObjType_Frame, 1UL << ALLOC_BITS, 1);
57 struct capref ram_cap, frame_cap; variable in typeref:struct:capref
62 create_ram_cap(&ram_cap);
67 errval_t err = b->tx_vtbl.send_cap(b, NOP_CONT, ram_cap);
157 errval_t err = retype_cap(&ram_cap, &frame_cap);
H A Dxcorecapserv.c18 static void send_cap(struct xcorecap_binding *b, struct capref ram_cap);
36 static void send_cap(struct xcorecap_binding *b, struct capref ram_cap) argument
38 sent_cap = ram_cap;
/barrelfish-2018-10-04/lib/mm/
H A Dslot_alloc.c36 struct capref ram_cap; local
37 err = mm_alloc(this->mm, L2_CNODE_BITS + OBJBITS_CTE, &ram_cap, NULL);
58 err = cnode_create_from_mem(cnode_cap, ram_cap, ObjType_L2CNode,
/barrelfish-2018-10-04/lib/pci/confspace/
H A Dpcie_confspace.c32 int pcie_confspace_init(struct capref ram_cap, lpaddr_t base, uint16_t segment, uint8_t startbusarg, argument
46 region_cap = ram_cap;
/barrelfish-2018-10-04/usr/bench/xcorecap/
H A Dxcorecapbench.c47 struct capref ram_cap);
172 struct capref ram_cap)
171 send_cap_handler(struct xcorecapbench_binding *b, struct capref ram_cap) argument
/barrelfish-2018-10-04/doc/013-capability-mgmt/
H A Dtype_system.tex344 datatype ram_cap "RAM capability" {

Completed in 51 milliseconds