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

/seL4-refos-master/projects/util_libs/libpci/include/pci/
H A Dioreg.h36 uint32_t libpci_read_reg(uint8_t bus, uint8_t dev, uint8_t fun, uint8_t reg, uint8_t size);
/seL4-refos-master/projects/util_libs/libpci/src/
H A Dioreg.c89 uint32_t libpci_read_reg(uint8_t bus, uint8_t dev, uint8_t fun, uint8_t reg, uint8_t size) { function
95 assert(!"libpci_read_reg: unsupported size.");
H A Dvirtual_device.c210 return libpci_read_reg(self->physical_device_passthrough->bus,

Completed in 27 milliseconds