Searched refs:ram_cap (Results 1 - 6 of 6) sorted by relevance
/barrelfish-2018-10-04/usr/tests/xcorecaps/ |
H A D | xcorecap.c | 28 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 D | xcorecapserv.c | 18 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 D | slot_alloc.c | 36 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 D | pcie_confspace.c | 32 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 D | xcorecapbench.c | 47 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 D | type_system.tex | 344 datatype ram_cap "RAM capability" {
|
Completed in 73 milliseconds