/barrelfish-2018-10-04/usr/monitor/arch/armv7/ |
H A D | notify_ipi.c | 38 struct capref *retcap) 55 err = slot_alloc(retcap); 61 err = monitor_cap_create(*retcap, ¬ify_cap, 0); 37 notification_create_cap(int chanid, coreid_t coreid, struct capref *retcap) argument
|
/barrelfish-2018-10-04/usr/monitor/arch/armv8/ |
H A D | notify_ipi.c | 38 struct capref *retcap) 55 err = slot_alloc(retcap); 61 err = monitor_cap_create(*retcap, ¬ify_cap, 0); 37 notification_create_cap(int chanid, coreid_t coreid, struct capref *retcap) argument
|
/barrelfish-2018-10-04/usr/monitor/arch/x86/ |
H A D | notify_ipi.c | 38 struct capref *retcap) 55 err = slot_alloc(retcap); 61 err = monitor_cap_create(*retcap, ¬ify_cap, my_core_id); 37 notification_create_cap(int chanid, coreid_t coreid, struct capref *retcap) argument
|
/barrelfish-2018-10-04/usr/mem_serv_dist/ |
H A D | no_steal.c | 27 struct capref *retcap) 29 *retcap = NULL_CAP; 24 percore_steal_handler_common(uint8_t bits, genpaddr_t minbase, genpaddr_t maxlimit, struct capref *retcap) argument
|
H A D | steal.h | 23 struct capref *retcap);
|
H A D | mem_serv.h | 110 struct capref *retcap);
|
/barrelfish-2018-10-04/usr/monitor/include/arch/aarch64/ |
H A D | notify_ipi.h | 24 struct capref *retcap);
|
/barrelfish-2018-10-04/usr/monitor/include/arch/arm/ |
H A D | notify_ipi.h | 24 struct capref *retcap);
|
/barrelfish-2018-10-04/usr/monitor/include/arch/x86/ |
H A D | notify_ipi.h | 24 struct capref *retcap);
|
/barrelfish-2018-10-04/lib/octopus/client/ |
H A D | capability_storage.c | 28 * \param retcap Pointer to structure holding capability 30 errval_t oct_get_capability(const char *key, struct capref *retcap) argument 35 err = slot_alloc(retcap); 39 err = cl->call_seq.get_cap(cl, key, retcap, &reterr);
|
/barrelfish-2018-10-04/usr/drivers/solarflare/ |
H A D | helper.c | 18 void* alloc_map_frame(vregion_flags_t attr, size_t size, struct capref *retcap) argument 33 if (retcap != NULL) { 34 *retcap = frame;
|
H A D | helper.h | 17 void* alloc_map_frame(vregion_flags_t attr, size_t size, struct capref *retcap);
|
/barrelfish-2018-10-04/usr/drivers/e10k/ |
H A D | helper.h | 18 void* alloc_map_frame(vregion_flags_t attr, size_t size, struct capref *retcap);
|
H A D | helper.c | 29 void* alloc_map_frame(vregion_flags_t attr, size_t size, struct capref *retcap) argument 44 if (retcap != NULL) { 45 *retcap = frame;
|
/barrelfish-2018-10-04/lib/devif/backends/net/e10k/ |
H A D | helper.h | 18 void* alloc_map_frame(vregion_flags_t attr, size_t size, struct capref *retcap);
|
H A D | helper.c | 29 void* alloc_map_frame(vregion_flags_t attr, size_t size, struct capref *retcap) argument 44 if (retcap != NULL) { 45 *retcap = frame;
|
/barrelfish-2018-10-04/lib/trace/ |
H A D | trace.c | 111 errval_t trace_setup_on_core(struct capref *retcap) argument 125 *retcap = tracecap;
|
/barrelfish-2018-10-04/include/mm/ |
H A D | mm.h | 75 errval_t mm_alloc(struct mm *mm, uint8_t sizebits, struct capref *retcap, 78 genpaddr_t maxlimit, struct capref *retcap, 81 struct capref *retcap);
|
/barrelfish-2018-10-04/lib/acpi_client/ |
H A D | acpi_client.c | 67 errval_t acpi_get_vbe_bios_cap(struct capref *retcap, size_t *retsize) argument 71 assert(retcap != NULL); 74 err = slot_alloc(retcap); 78 err = binding->rpc_tx_vtbl.get_vbe_bios_cap(binding, &msgerr, retcap, &s);
|
/barrelfish-2018-10-04/include/acpi_client/ |
H A D | acpi_client.h | 36 errval_t acpi_get_vbe_bios_cap(struct capref *retcap, size_t *retsize);
|
/barrelfish-2018-10-04/include/barrelfish/ |
H A D | inthandler.h | 36 errval_t alloc_dest_irq_cap(struct capref *retcap);
|
H A D | ram_alloc.h | 32 errval_t ram_alloc(struct capref *retcap, uint8_t size_bits);
|
H A D | msgbuf.h | 49 errval_t msgbuf_unmarshall_cap(struct msgbuf *msgbuf, struct capref *retcap);
|
/barrelfish-2018-10-04/usr/tests/mdbtests/ |
H A D | test_range_query.c | 221 struct cte *retcap; local 222 errval_t r = mdb_find_range(get_type_root(ObjType_RAM), q->begin, q->size, MDB_RANGE_FOUND_PARTIAL, &retcap, &result); 229 if (retcap) { 231 get_address(&retcap->cap), 232 get_size(&retcap->cap)); 236 if (retcap != q->target) { 241 retcap->cap.u.ram.base, retcap->cap.u.ram.bytes,
|
/barrelfish-2018-10-04/lib/int_route/client/ |
H A D | client.c | 60 static errval_t alloc_dest_irq_cap(struct capref *retcap) argument 65 err = slot_alloc(retcap); 69 err = r->rpc_tx_vtbl.get_irq_dest_cap(r, retcap, &msgerr);
|