Searched refs:bars (Results 1 - 8 of 8) sorted by relevance
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/arch_include/x86/sel4vmmplatsupport/arch/drivers/ |
H A D | vmm_pci_helper.h | 20 * @function vmm_pci_helper_map_bars(vm, cfg, bars) 21 * Given a PCI device config, map the PCI device bars into the VM, effectively passing-through the 22 * PCI device. This will map MMIO and IO-based bars. 25 * @param {vmm_pci_bar_t *} bars Resulting PCI bars mapped into the VM 26 * @return -1 for error, otherwise the number of bars mapped into the VM (>=0) 28 int vmm_pci_helper_map_bars(vm_t *vm, libpci_device_iocfg_t *cfg, vmm_pci_bar_t *bars);
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/x86/drivers/ |
H A D | vmm_pci_helper.c | 17 int vmm_pci_helper_map_bars(vm_t *vm, libpci_device_iocfg_t *cfg, vmm_pci_bar_t *bars) argument 32 bars[bar].size_bits = size_bits; 47 bars[bar].address = addr; 49 bars[bar].mem_type = PREFETCH_MEM; 51 bars[bar].mem_type = NON_PREFETCH_MEM; 59 bars[bar].mem_type = NON_MEM; 60 bars[bar].address = cfg->base_addr[i];
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/ |
H A D | pci_helper.h | 121 * @param {int} num_bars Number of PCI bars 122 * @param {vmm_pci_bar_t} bars Set of PCI bars being emulated in the PCI entry 129 vmm_pci_bar_t bars[6]; member in struct:pci_bar_emulation 228 * @function vmm_pci_create_bar_emulation(existing, num_bars, bars) 231 * @param {int} num_bars Number of emulated bars in PCI entry 232 * @param {vmm_pci_bar_t *} bars Set of bars to emulate access to 235 vmm_pci_entry_t vmm_pci_create_bar_emulation(vmm_pci_entry_t existing, int num_bars, vmm_pci_bar_t *bars); 238 * @function vmm_pci_create_passthrough_bar_emulation(existing, num_bars, bars) [all...] |
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
H A D | pci_helper.c | 159 raw |= emul->bars[bar].address; 160 if (!(emul->bars[bar].mem_type)) { 163 if (emul->bars[bar].mem_type == PREFETCH_MEM) { 167 raw |= (emul->bar_writes[bar] & ~MASK(emul->bars[bar].size_bits)); 245 vmm_pci_entry_t vmm_pci_create_bar_emulation(vmm_pci_entry_t existing, int num_bars, vmm_pci_bar_t *bars) argument 249 memcpy(bar_emul->bars, bars, sizeof(vmm_pci_bar_t) * num_bars); 258 vmm_pci_entry_t vmm_pci_create_passthrough_bar_emulation(vmm_pci_entry_t existing, int num_bars, vmm_pci_bar_t *bars) argument 262 memcpy(bar_emul->bars, bars, sizeo [all...] |
H A D | virtio_con.c | 80 vmm_pci_bar_t bars[1] = {{ local 86 return vmm_pci_create_passthrough_bar_emulation(entry, 1, bars);
|
H A D | virtio_net.c | 153 vmm_pci_bar_t bars[1] = {{ local 161 virtio_pci_bar = vmm_pci_create_bar_emulation(entry, 1, bars); 163 virtio_pci_bar = vmm_pci_create_passthrough_bar_emulation(entry, 1, bars);
|
H A D | cross_vm_connection.c | 82 vmm_pci_bar_t bars[2] = { local 100 connection_pci_bar = vmm_pci_create_bar_emulation(entry, 2, bars); 102 connection_pci_bar = vmm_pci_create_passthrough_bar_emulation(entry, 2, bars);
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/ |
H A D | vpci.c | 102 * To handle this we write the bars size to pci header such that the kernels next read will 105 uint32_t bar_size = BIT((bar_emul->bars[bar].size_bits));
|
Completed in 85 milliseconds