Searched defs:pcbios (Results 1 – 2 of 2) sorted by relevance
| /external/syslinux/gpxe/src/arch/x86/include/gpxe/ |
| D | pcibios.h | 44 PCIAPI_INLINE ( pcbios, pci_read_config_byte ) ( struct pci_device *pci, in PCIAPI_INLINE() argument
64 PCIAPI_INLINE ( pcbios, pci_read_config_word ) ( struct pci_device *pci, in PCIAPI_INLINE() argument
84 PCIAPI_INLINE ( pcbios, pci_read_config_dword ) ( struct pci_device *pci, in PCIAPI_INLINE() argument
99 PCIAPI_INLINE ( pcbios, pci_write_config_byte ) ( struct pci_device *pci, in PCIAPI_INLINE() argument
114 PCIAPI_INLINE ( pcbios, pci_write_config_word ) ( struct pci_device *pci, in PCIAPI_INLINE() argument
129 PCIAPI_INLINE ( pcbios, pci_write_config_dword ) ( struct pci_device *pci, in PCIAPI_INLINE() argument
|
| /external/syslinux/gpxe/src/arch/i386/include/gpxe/ |
| D | bios_timer.h | 26 TIMER_INLINE ( pcbios, udelay ) ( unsigned long usecs ) { in TIMER_INLINE() argument
39 TIMER_INLINE ( pcbios, ticks_per_sec ) ( void ) { in TIMER_INLINE() argument
|