Searched refs:frame_cap (Results 1 - 20 of 20) sorted by relevance

/barrelfish-2018-10-04/include/pci/
H A Dmem.h28 struct capref frame_cap; // array of frame caps member in struct:device_mem
/barrelfish-2018-10-04/usr/tests/xcorecaps/
H A Dxcorecap.c38 static errval_t retype_cap(struct capref * ram_cap, struct capref * frame_cap) argument
43 err = slot_alloc(frame_cap);
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:
157 errval_t err = retype_cap(&ram_cap, &frame_cap);
/barrelfish-2018-10-04/lib/barrelfish/
H A Dslab.c182 struct capref frame_cap; local
184 err = frame_alloc(&frame_cap, bytes, &bytes);
190 err = vspace_map_one_frame(&buf, bytes, frame_cap, NULL, NULL);
/barrelfish-2018-10-04/lib/pci/
H A Dmem.c37 err = mem->memobj->f.fill(mem->memobj, offset, mem->frame_cap,
H A Dpci_client.c273 bar->frame_cap = cap;
365 bar->frame_cap = cap;
/barrelfish-2018-10-04/usr/drivers/xeon_phi/
H A Dxeon_phi.c128 assert(!capref_is_null(bar_info[XEON_PHI_APT_BAR].frame_cap));
129 card->apt.cap = bar_info[XEON_PHI_APT_BAR].frame_cap;
138 assert(!capref_is_null(bar_info[XEON_PHI_MMIO_BAR].frame_cap));
139 card->mmio.cap = bar_info[XEON_PHI_MMIO_BAR].frame_cap;
/barrelfish-2018-10-04/usr/drivers/ioat_dma/
H A Ddevice.c52 err = ioat_dma_device_init(bar_info->frame_cap, &pci_addr,
75 err = ioat_mgr_svc_add_device(bar_info->frame_cap);
/barrelfish-2018-10-04/usr/monitor/arch/armv7/
H A Dinter.c258 struct capability frame_cap; local
259 err = monitor_cap_identify(frame, &frame_cap);
266 capability_to_caprep(&frame_cap, &caprep);
/barrelfish-2018-10-04/usr/monitor/arch/armv8/
H A Dinter.c258 struct capability frame_cap; local
259 err = monitor_cap_identify(frame, &frame_cap);
266 capability_to_caprep(&frame_cap, &caprep);
/barrelfish-2018-10-04/usr/monitor/arch/x86/
H A Dinter.c272 struct capability frame_cap; local
273 err = monitor_cap_identify(frame, &frame_cap);
280 capability_to_caprep(&frame_cap, &caprep);
/barrelfish-2018-10-04/usr/drivers/vbe/
H A Dvbe.c161 *cap = bars[i].frame_cap;
173 *cap = bars[first_mem_bar].frame_cap;
/barrelfish-2018-10-04/usr/acpi/
H A Dacpica_osglue.c704 struct capref frame_cap; local
712 &frame_cap);
725 frame_cap = am_pages[page];
734 err = cap_copy(new->caps[page], frame_cap);
/barrelfish-2018-10-04/usr/pci/
H A Dpci.c46 struct capref frame_cap; member in struct:device_caps
135 return (dev_caps[bus][dev][fun][idx].frame_cap);
180 err = devframe_type(&c->frame_cap, c->phys_cap, bits);
203 errval_t err = slot_alloc(&(dev_caps[bus][dev][fun][idx].frame_cap));
205 err = cap_copy(dev_caps[bus][dev][fun][idx].frame_cap, cap_io);
/barrelfish-2018-10-04/usr/monitor/
H A Dump_support.c394 struct capability frame_cap = { local
424 err = monitor_cap_create(frame, &frame_cap, core_id);
/barrelfish-2018-10-04/kernel/arch/armv7/
H A Dsyscall.c914 struct capability *frame_cap; local
916 &frame_cap, CAPRIGHTS_WRITE);
921 if(frame_cap->type != ObjType_Frame) {
925 struct Frame *frame= &frame_cap->u.frame;
/barrelfish-2018-10-04/usr/kaluga/
H A Dstart_pci.c235 cap_copy(cap, bars[i].frame_cap);
/barrelfish-2018-10-04/lib/devif/backends/net/e10k/
H A De10k_devif_vf.c447 vf->regframe = bar_info[0].frame_cap;
/barrelfish-2018-10-04/usr/drivers/e10k/
H A De10k_vf.c737 regframe = bar_info[0].frame_cap;
H A De10k_cdriver.c1865 regframe = bar_info[0].frame_cap;
/barrelfish-2018-10-04/doc/013-capability-mgmt/
H A Dtype_system.tex562 datatype frame_cap "Frame capability" {

Completed in 383 milliseconds