iPXE
efi_pci.h
Go to the documentation of this file.
1 #ifndef _IPXE_EFI_PCI_H
2 #define _IPXE_EFI_PCI_H
3 
4 /** @file
5  *
6  * EFI driver interface
7  */
8 
9 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
10 
11 #include <ipxe/pci.h>
12 #include <ipxe/efi/efi.h>
14 
15 /* PciRootBridgeIo.h uses LShiftU64(), which isn't defined anywhere else */
16 static inline EFIAPI uint64_t LShiftU64 ( UINT64 value, UINTN shift ) {
17  return ( value << shift );
18 }
19 
20 extern int efipci_open ( EFI_HANDLE device, UINT32 attributes,
21  struct pci_device *pci );
22 extern void efipci_close ( EFI_HANDLE device );
23 extern int efipci_info ( EFI_HANDLE device, struct pci_device *pci );
24 
25 #endif /* _IPXE_EFI_PCI_H */
void efipci_close(EFI_HANDLE device)
Close EFI PCI device.
Definition: efi_pci.c:316
int efipci_open(EFI_HANDLE device, UINT32 attributes, struct pci_device *pci)
Open EFI PCI device.
Definition: efi_pci.c:241
unsigned int UINT32
Definition: ProcessorBind.h:56
unsigned long long uint64_t
Definition: stdint.h:13
FILE_LICENCE(GPL2_OR_LATER_OR_UBDL)
int efipci_info(EFI_HANDLE device, struct pci_device *pci)
Get EFI PCI device information.
Definition: efi_pci.c:330
A hardware device.
Definition: device.h:73
pseudo_bit_t value[0x00020]
Definition: arbel.h:13
#define EFIAPI
PCI bus.
A PCI device.
Definition: pci.h:187
UINT64 UINTN
Unsigned value of native width.
Definition: ProcessorBind.h:71
unsigned long long UINT64
Definition: ProcessorBind.h:54
EFI API.
static EFIAPI uint64_t LShiftU64(UINT64 value, UINTN shift)
Definition: efi_pci.h:16
EFI PCI I/O Protocol provides the basic Memory, I/O, PCI configuration, and DMA interfaces that a dri...
Definition: efi.h:55