1 files changed, 0 insertions, 148 deletions
diff --git a/gpxe/src/include/gpxe/efi/efi_pci.h b/gpxe/src/include/gpxe/efi/efi_pci.h
deleted file mode 100644
index 59c0eb1d..00000000
--- a/gpxe/src/include/gpxe/efi/efi_pci.h
+++ /dev/null
@@ -1,148 +0,0 @@
-#ifndef _GPXE_EFI_PCI_H
-#define _GPXE_EFI_PCI_H
-
-/** @file
- *
- * gPXE PCI I/O API for EFI
- *
- */
-
-FILE_LICENCE ( GPL2_OR_LATER );
-
-#ifdef PCIAPI_EFI
-#define PCIAPI_PREFIX_efi
-#else
-#define PCIAPI_PREFIX_efi __efi_
-#endif
-
-/* EFI PCI width codes defined by EFI spec */
-#define EFIPCI_WIDTH_BYTE 0
-#define EFIPCI_WIDTH_WORD 1
-#define EFIPCI_WIDTH_DWORD 2
-
-#define EFIPCI_LOCATION( _offset, _width ) \
-	( (_offset) | ( (_width) << 16 ) )
-#define EFIPCI_OFFSET( _location ) ( (_location) & 0xffff )
-#define EFIPCI_WIDTH( _location ) ( (_location) >> 16 )
-
-struct pci_device;
-
-extern int efipci_read ( struct pci_device *pci, unsigned long location,
-			 void *value );
-extern int efipci_write ( struct pci_device *pci, unsigned long location,
-			  unsigned long value );
-
-/**
- * Determine maximum PCI bus number within system
- *
- * @ret max_bus		Maximum bus number
- */
-static inline __always_inline int
-PCIAPI_INLINE ( efi, pci_max_bus ) ( void ) {
-	/* No way to work this out via EFI */
-	return 0xff;
-}
-
-/**
- * Read byte from PCI configuration space via EFI
- *
- * @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 ( efi, pci_read_config_byte ) ( struct pci_device *pci,
-					      unsigned int where,
-					      uint8_t *value ) {
-	return efipci_read ( pci,
-			     EFIPCI_LOCATION ( where, EFIPCI_WIDTH_BYTE ),
-			     value );
-}
-
-/**
- * Read word from PCI configuration space via EFI
- *
- * @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 ( efi, pci_read_config_word ) ( struct pci_device *pci,
-					      unsigned int where,
-					      uint16_t *value ) {
-	return efipci_read ( pci,
-			     EFIPCI_LOCATION ( where, EFIPCI_WIDTH_WORD ),
-			     value );
-}
-
-/**
- * Read dword from PCI configuration space via EFI
- *
- * @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 ( efi, pci_read_config_dword ) ( struct pci_device *pci,
-					       unsigned int where,
-					       uint32_t *value ) {
-	return efipci_read ( pci,
-			     EFIPCI_LOCATION ( where, EFIPCI_WIDTH_DWORD ),
-			     value );
-}
-
-/**
- * Write byte to PCI configuration space via EFI
- *
- * @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 ( efi, pci_write_config_byte ) ( struct pci_device *pci,
-					       unsigned int where,
-					       uint8_t value ) {
-	return efipci_write ( pci,
-			      EFIPCI_LOCATION ( where, EFIPCI_WIDTH_BYTE ),
-			      value );
-}
-
-/**
- * Write word to PCI configuration space via EFI
- *
- * @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 ( efi, pci_write_config_word ) ( struct pci_device *pci,
-					       unsigned int where,
-					       uint16_t value ) {
-	return efipci_write ( pci,
-			      EFIPCI_LOCATION ( where, EFIPCI_WIDTH_WORD ),
-			      value );
-}
-
-/**
- * Write dword to PCI configuration space via EFI
- *
- * @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 ( efi, pci_write_config_dword ) ( struct pci_device *pci,
-						unsigned int where,
-						uint32_t value ) {
-	return efipci_write ( pci,
-			      EFIPCI_LOCATION ( where, EFIPCI_WIDTH_DWORD ),
-			      value );
-}
-
-#endif /* _GPXE_EFI_PCI_H */