Searched refs:libpci_read_reg16 (Results 1 - 3 of 3) sorted by relevance
/seL4-refos-master/projects/util_libs/libpci/src/ |
H A D | pci.c | 83 uint16_t vendor_id = libpci_read_reg16(bus, dev, fun, PCI_VENDOR_ID); 93 uint16_t device_id = libpci_read_reg16(bus, dev, fun, PCI_DEVICE_ID); 106 libpci_device_list[libpci_num_devices].subsystem_id = libpci_read_reg16(bus, dev, fun, PCI_SUBSYSTEM_ID); 132 if ( libpci_read_reg16(bus, dev, fun, PCI_CLASS_DEVICE) == 0x0604) { 140 uint16_t vendor_id = libpci_read_reg16(bus, dev, 0, PCI_VENDOR_ID); 149 if (libpci_read_reg16(bus, dev, function, PCI_VENDOR_ID) != PCI_VENDOR_ID_INVALID) { 170 if (libpci_read_reg16(0, 0, function, PCI_VENDOR_ID) != PCI_VENDOR_ID_INVALID) {
|
H A D | ioreg.c | 67 uint16_t libpci_read_reg16(uint8_t bus, uint8_t dev, uint8_t fun, uint8_t reg) { function 92 case 2: return (uint32_t) libpci_read_reg16(bus, dev, fun, reg);
|
/seL4-refos-master/projects/util_libs/libpci/include/pci/ |
H A D | ioreg.h | 32 uint16_t libpci_read_reg16(uint8_t bus, uint8_t dev, uint8_t fun, uint8_t reg);
|
Completed in 29 milliseconds