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

/seL4-refos-master/projects/util_libs/libpci/src/
H A Dpci.c83 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 Dioreg.c67 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 Dioreg.h32 uint16_t libpci_read_reg16(uint8_t bus, uint8_t dev, uint8_t fun, uint8_t reg);

Completed in 29 milliseconds