Searched refs:libpci_write_reg32 (Results 1 - 3 of 3) sorted by relevance

/seL4-refos-master/projects/util_libs/libpci/include/pci/
H A Dioreg.h31 void libpci_write_reg32(uint8_t bus, uint8_t dev, uint8_t fun, uint8_t reg, uint32_t val);
/seL4-refos-master/projects/util_libs/libpci/src/
H A Dioreg.c61 void libpci_write_reg32(uint8_t bus, uint8_t dev, uint8_t fun, uint8_t reg, uint32_t val) { function
104 case 4: libpci_write_reg32(bus, dev, fun, reg, val); return;
H A Dpci.c196 libpci_write_reg32(bus, dev, fun, PCI_BASE_ADDRESS_0 + (i * 4), 0xFFFFFFFF);
228 libpci_write_reg32(bus, dev, fun, PCI_BASE_ADDRESS_0 + (i * 4), bios_base_addr);

Completed in 48 milliseconds