Searched refs:make_addr_reg_from_config (Results 1 - 4 of 4) sorted by relevance
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/ |
| H A D | pci.h | 85 * @function make_addr_reg_from_config(conf, addr, reg)
91 void make_addr_reg_from_config(uint32_t conf, vmm_pci_address_t *addr, uint8_t *reg);
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/x86/drivers/ |
| H A D | vmm_pci_helper.c | 87 make_addr_reg_from_config(self->conf_port_addr, &addr, ®);
139 make_addr_reg_from_config(self->conf_port_addr, &addr, ®);
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
| H A D | pci.c | 75 void make_addr_reg_from_config(uint32_t conf, vmm_pci_address_t *addr, uint8_t *reg) function
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/ |
| H A D | vpci.c | 126 make_addr_reg_from_config(fault_addr, &pci_addr, &offset);
|
Completed in 77 milliseconds