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 Dvmm_pci_helper.h20 * @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 Dvmm_pci_helper.c17 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 Dpci_helper.h121 * @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 Dpci_helper.c159 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 Dvirtio_con.c80 vmm_pci_bar_t bars[1] = {{ local
86 return vmm_pci_create_passthrough_bar_emulation(entry, 1, bars);
H A Dvirtio_net.c153 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 Dcross_vm_connection.c82 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 Dvpci.c102 * 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 93 milliseconds