Welcome to the FoxOS website!
void read_bar(uint32_t* mask, uint16_t bus, uint16_t device, uint16_t function, uint32_t offset) uint32_t* maskuint16_t busuint16_t deviceuint16_t functionuint32_t offsetvoid
      pci_bar_t pci::get_bar(uint32_t* bar0, int bar_num, uint16_t bus, uint16_t device, uint16_t function) uint32_t* bar0int bar_numuint16_t busuint16_t deviceuint16_t functionpci_bar_t
      uint16_t pci::get_io_port(pci::pci_header_0_t* header, uint16_t bus, uint16_t device, uint16_t function) pci::pci_header_0_t* headeruint16_t busuint16_t deviceuint16_t functionuint16_t