/barrelfish-2018-10-04/include/pci/ |
H A D | mem.h | 28 struct capref frame_cap; // array of frame caps member in struct:device_mem
|
/barrelfish-2018-10-04/usr/tests/xcorecaps/ |
H A D | xcorecap.c | 38 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 D | slab.c | 182 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 D | mem.c | 37 err = mem->memobj->f.fill(mem->memobj, offset, mem->frame_cap,
|
H A D | pci_client.c | 273 bar->frame_cap = cap; 365 bar->frame_cap = cap;
|
/barrelfish-2018-10-04/usr/drivers/xeon_phi/ |
H A D | xeon_phi.c | 128 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 D | device.c | 52 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 D | inter.c | 258 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 D | inter.c | 258 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 D | inter.c | 272 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 D | vbe.c | 161 *cap = bars[i].frame_cap; 173 *cap = bars[first_mem_bar].frame_cap;
|
/barrelfish-2018-10-04/usr/acpi/ |
H A D | acpica_osglue.c | 704 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 D | pci.c | 46 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 D | ump_support.c | 394 struct capability frame_cap = { local 424 err = monitor_cap_create(frame, &frame_cap, core_id);
|
/barrelfish-2018-10-04/kernel/arch/armv7/ |
H A D | syscall.c | 914 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 D | start_pci.c | 235 cap_copy(cap, bars[i].frame_cap);
|
/barrelfish-2018-10-04/lib/devif/backends/net/e10k/ |
H A D | e10k_devif_vf.c | 447 vf->regframe = bar_info[0].frame_cap;
|
/barrelfish-2018-10-04/usr/drivers/e10k/ |
H A D | e10k_vf.c | 737 regframe = bar_info[0].frame_cap;
|
H A D | e10k_cdriver.c | 1865 regframe = bar_info[0].frame_cap;
|
/barrelfish-2018-10-04/doc/013-capability-mgmt/ |
H A D | type_system.tex | 562 datatype frame_cap "Frame capability" {
|