pcibios.h

Go to the documentation of this file.

#ifndef _IPXE_PCIBIOS_H
#define _IPXE_PCIBIOS_H
 
#include <stdint.h>
 
/** @file
 *
 * PCI configuration space access via PCI BIOS
 *
 */
 
FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
FILE_SECBOOT ( PERMITTED );
 
#ifdef PCIAPI_PCBIOS
#define PCIAPI_PREFIX_pcbios
#else
#define PCIAPI_PREFIX_pcbios __pcbios_
#endif
 
struct pci_device;
 
#define PCIBIOS_INSTALLATION_CHECK      0xb1010000
#define PCIBIOS_READ_CONFIG_BYTE        0xb1080000
#define PCIBIOS_READ_CONFIG_WORD        0xb1090000
#define PCIBIOS_READ_CONFIG_DWORD       0xb10a0000
#define PCIBIOS_WRITE_CONFIG_BYTE       0xb10b0000
#define PCIBIOS_WRITE_CONFIG_WORD       0xb10c0000
#define PCIBIOS_WRITE_CONFIG_DWORD      0xb10d0000
 
extern int pcibios_read ( struct pci_device *pci, uint32_t command,
                          uint32_t *value );
extern int pcibios_write ( struct pci_device *pci, uint32_t command,
                           uint32_t value );
 
/**
 * Check if PCI bus probing is allowed
 *
 * @v pci               PCI device
 * @ret ok              Bus probing is allowed
 */
static inline __always_inline int
PCIAPI_INLINE ( pcbios, pci_can_probe ) ( struct pci_device *pci __unused ) {
        return 1;
}
 
/**
 * Read byte from PCI configuration space via PCI BIOS
 *
 * @v pci       PCI device
 * @v where     Location within PCI configuration space
 * @v value     Value read
 * @ret rc      Return status code
 */
static inline __always_inline int
PCIAPI_INLINE ( pcbios, pci_read_config_byte ) ( struct pci_device *pci,
                                                 unsigned int where,
                                                 uint8_t *value ) {
        uint32_t tmp;
        int rc;
 
        rc = pcibios_read ( pci, PCIBIOS_READ_CONFIG_BYTE | where, &tmp );
        *value = tmp;
        return rc;
}
 
/**
 * Read word from PCI configuration space via PCI BIOS
 *
 * @v pci       PCI device
 * @v where     Location within PCI configuration space
 * @v value     Value read
 * @ret rc      Return status code
 */
static inline __always_inline int
PCIAPI_INLINE ( pcbios, pci_read_config_word ) ( struct pci_device *pci,
                                                 unsigned int where,
                                                 uint16_t *value ) {
        uint32_t tmp;
        int rc;
 
        rc = pcibios_read ( pci, PCIBIOS_READ_CONFIG_WORD | where, &tmp );
        *value = tmp;
        return rc;
}
 
/**
 * Read dword from PCI configuration space via PCI BIOS
 *
 * @v pci       PCI device
 * @v where     Location within PCI configuration space
 * @v value     Value read
 * @ret rc      Return status code
 */
static inline __always_inline int
PCIAPI_INLINE ( pcbios, pci_read_config_dword ) ( struct pci_device *pci,
                                                  unsigned int where,
                                                  uint32_t *value ) {
        return pcibios_read ( pci, PCIBIOS_READ_CONFIG_DWORD | where, value );
}
 
/**
 * Write byte to PCI configuration space via PCI BIOS
 *
 * @v pci       PCI device
 * @v where     Location within PCI configuration space
 * @v value     Value to be written
 * @ret rc      Return status code
 */
static inline __always_inline int
PCIAPI_INLINE ( pcbios, pci_write_config_byte ) ( struct pci_device *pci,
                                                  unsigned int where,
                                                  uint8_t value ) {
        return pcibios_write ( pci, PCIBIOS_WRITE_CONFIG_BYTE | where, value );
}
 
/**
 * Write word to PCI configuration space via PCI BIOS
 *
 * @v pci       PCI device
 * @v where     Location within PCI configuration space
 * @v value     Value to be written
 * @ret rc      Return status code
 */
static inline __always_inline int
PCIAPI_INLINE ( pcbios, pci_write_config_word ) ( struct pci_device *pci,
                                                  unsigned int where,
                                                  uint16_t value ) {
        return pcibios_write ( pci, PCIBIOS_WRITE_CONFIG_WORD | where, value );
}
 
/**
 * Write dword to PCI configuration space via PCI BIOS
 *
 * @v pci       PCI device
 * @v where     Location within PCI configuration space
 * @v value     Value to be written
 * @ret rc      Return status code
 */
static inline __always_inline int
PCIAPI_INLINE ( pcbios, pci_write_config_dword ) ( struct pci_device *pci,
                                                   unsigned int where,
                                                   uint32_t value ) {
        return pcibios_write ( pci, PCIBIOS_WRITE_CONFIG_DWORD | where, value);
}
 
/**
 * Map PCI bus address as an I/O address
 *
 * @v bus_addr          PCI bus address
 * @v len               Length of region
 * @ret io_addr         I/O address, or NULL on error
 */
static inline __always_inline void *
PCIAPI_INLINE ( pcbios, pci_ioremap ) ( struct pci_device *pci __unused,
                                        unsigned long bus_addr, size_t len ) {
        return ioremap ( bus_addr, len );
}
 
#endif /* _IPXE_PCIBIOS_H */