src/add-ons/kernel/bus_managers/pci/arch/x86/pci_bios.h

   1 #ifndef __PCI_X86_BIOS_H
   2 #define __PCI_X86_BIOS_H
   3
   4 #include <SupportDefs.h>
   5
   6 status_t pci_bios_init(void);
   7
   8 status_t pci_bios_read_config(void *cookie,
   9                                                           uint8 bus, uint8 device, uint8 function,
  10                                                           uint16 offset, uint8 size, uint32 *value);
  11
  12 status_t pci_bios_write_config(void *cookie,
  13                                                            uint8 bus, uint8 device, uint8 function,
  14                                                            uint16 offset, uint8 size, uint32 value);
  15
  16 status_t pci_bios_get_max_bus_devices(void *cookie, int32 *count);
  17
  18 #endif