/barrelfish-master/usr/drivers/megaraid/ |
H A D | linux_defs.h | 12 #define VREGION_FLAGS_READ_WRITE_NOCACHE 0 macro
|
H A D | megaraid.c | 235 void * va = alloc_map_frame(VREGION_FLAGS_READ_WRITE_NOCACHE, 286 cmd->frame_mem = alloc_map_frame(VREGION_FLAGS_READ_WRITE_NOCACHE, 815 alloc_map_frame(VREGION_FLAGS_READ_WRITE_NOCACHE, size, &cap); 843 alloc_map_frame(VREGION_FLAGS_READ_WRITE_NOCACHE, ctlr_info_size, &cap); 1123 sc->verbuf_mem = alloc_map_frame(VREGION_FLAGS_READ_WRITE_NOCACHE, verbuf_size, &cap); 1136 sc->io_request_mem = alloc_map_frame(VREGION_FLAGS_READ_WRITE_NOCACHE, io_req_size, &cap); 1149 sc->chain_frame_mem = alloc_map_frame(VREGION_FLAGS_READ_WRITE_NOCACHE, chain_frame_size, &cap); 1162 sc->reply_desc_mem = alloc_map_frame(VREGION_FLAGS_READ_WRITE_NOCACHE, reply_desc_size, &cap); 1175 sc->sense_mem = alloc_map_frame(VREGION_FLAGS_READ_WRITE_NOCACHE, sense_size, &cap); 1188 sc->evt_detail_mem = alloc_map_frame(VREGION_FLAGS_READ_WRITE_NOCACHE, evt_detail_siz [all...] |
/barrelfish-master/lib/devif/backends/net/mlx4/include/linux/ |
H A D | gfp.h | 149 VREGION_FLAGS_READ_WRITE_NOCACHE, NULL, NULL); 212 VREGION_FLAGS_READ_WRITE_NOCACHE, NULL, NULL);
|
/barrelfish-master/lib/driverkit/ |
H A D | map_devices.c | 70 device_cap_iter, VREGION_FLAGS_READ_WRITE_NOCACHE, 91 device_cap, VREGION_FLAGS_READ_WRITE_NOCACHE,
|
/barrelfish-master/lib/pci/ |
H A D | mem.c | 30 VREGION_FLAGS_READ_WRITE_NOCACHE);
|
/barrelfish-master/usr/drivers/usb/usb_manager/ |
H A D | usb_memory.c | 101 VREGION_FLAGS_READ_WRITE_NOCACHE, NULL, NULL); 175 VREGION_FLAGS_READ_WRITE_NOCACHE, NULL, NULL);
|
H A D | usb_manager.c | 274 VREGION_FLAGS_READ_WRITE_NOCACHE, NULL, NULL);
|
/barrelfish-master/include/barrelfish/ |
H A D | vregion.h | 42 #define VREGION_FLAGS_READ_WRITE_NOCACHE \ macro
|
/barrelfish-master/usr/bench/ |
H A D | tsc_bench.c | 54 VREGION_FLAGS_READ_WRITE_NOCACHE,
|
/barrelfish-master/usr/tests/pmaplookup/ |
H A D | main.c | 51 VREGION_FLAGS_READ_WRITE_NOCACHE, NULL, NULL);
|
/barrelfish-master/lib/pci/confspace/ |
H A D | pcie_confspace.c | 59 VREGION_FLAGS_READ_WRITE_NOCACHE);
|
/barrelfish-master/usr/drivers/serial/ |
H A D | serial_pl011.c | 62 VREGION_FLAGS_READ_WRITE_NOCACHE, NULL,
|
H A D | serial_omap44xx.c | 239 VREGION_FLAGS_READ_WRITE_NOCACHE, NULL,
|
/barrelfish-master/usr/tests/sdmatest/ |
H A D | sdmatest.c | 41 VREGION_FLAGS_READ_WRITE_NOCACHE, 46 VREGION_FLAGS_READ_WRITE_NOCACHE,
|
/barrelfish-master/usr/drivers/e1000/ |
H A D | devif_backend_e1000.c | 33 VREGION_FLAGS_READ_WRITE_NOCACHE, 682 VREGION_FLAGS_READ_WRITE_NOCACHE, NULL, NULL); 705 err = driverkit_iommu_mmap_cl(device->iommu, device->tx_ring_size, VREGION_FLAGS_READ_WRITE_NOCACHE, 716 err = driverkit_iommu_mmap_cl(device->iommu, device->rx_ring_size, VREGION_FLAGS_READ_WRITE_NOCACHE,
|
/barrelfish-master/usr/pci/ |
H A D | pci_msix.c | 174 VREGION_FLAGS_READ_WRITE_NOCACHE, NULL, NULL);
|
/barrelfish-master/usr/drivers/enet/ |
H A D | enet_devq.c | 347 VREGION_FLAGS_READ_WRITE_NOCACHE, NULL, NULL); 435 txq->desc_mem.mem, VREGION_FLAGS_READ_WRITE_NOCACHE,
|
/barrelfish-master/usr/drivers/imx8x/sdhc/ |
H A D | sdhc.c | 505 VREGION_FLAGS_READ_WRITE_NOCACHE, NULL, NULL); 555 VREGION_FLAGS_READ_WRITE_NOCACHE, NULL, NULL);
|
/barrelfish-master/usr/bench/sdma_bench/ |
H A D | sdma_bench.c | 92 VREGION_FLAGS_READ_WRITE_NOCACHE,
|
/barrelfish-master/usr/acpi/arch/x86/ |
H A D | acpi_interrupts_arch.c | 135 VREGION_FLAGS_READ_WRITE_NOCACHE,
|
/barrelfish-master/usr/drivers/omap44xx/fdif/ |
H A D | fdif.c | 294 VREGION_FLAGS_READ_WRITE_NOCACHE,
|
/barrelfish-master/usr/drivers/xeon_phi/ |
H A D | xeon_phi.c | 233 card->mmio.cap, VREGION_FLAGS_READ_WRITE_NOCACHE,
|
/barrelfish-master/usr/vmkitmon/ |
H A D | guest.c | 713 VREGION_FLAGS_READ_WRITE_NOCACHE, 724 VREGION_FLAGS_READ_WRITE_NOCACHE, 739 VREGION_FLAGS_READ_WRITE_NOCACHE, 752 VREGION_FLAGS_READ_WRITE_NOCACHE, 765 VREGION_FLAGS_READ_WRITE_NOCACHE, 779 VREGION_FLAGS_READ_WRITE_NOCACHE, 793 VREGION_FLAGS_READ_WRITE_NOCACHE,
|
/barrelfish-master/lib/ahci/ |
H A D | ahci.c | 122 controller_mem, VREGION_FLAGS_READ_WRITE_NOCACHE, NULL, NULL);
|
H A D | ahci_dma_pool.c | 169 VREGION_FLAGS_READ_WRITE_NOCACHE, NULL, NULL);
|