Searched defs:libpci_read_ioconfig (Results 1 - 1 of 1) sorted by relevance
| /seL4-refos-master/projects/util_libs/libpci/src/ | ||
| H A D | pci.c | 178 void libpci_read_ioconfig(libpci_device_iocfg_t *cfg, uint8_t bus, uint8_t dev, uint8_t fun) { function |
Completed in 25 milliseconds