Searched refs:pcbios (Results 1 – 8 of 8) sorted by relevance
| /external/syslinux/gpxe/src/arch/i386/interface/pcbios/ |
| D | pcibios.c | 109 PROVIDE_PCIAPI ( pcbios, pci_max_bus, pcibios_max_bus );
110 PROVIDE_PCIAPI_INLINE ( pcbios, pci_read_config_byte );
111 PROVIDE_PCIAPI_INLINE ( pcbios, pci_read_config_word );
112 PROVIDE_PCIAPI_INLINE ( pcbios, pci_read_config_dword );
113 PROVIDE_PCIAPI_INLINE ( pcbios, pci_write_config_byte );
114 PROVIDE_PCIAPI_INLINE ( pcbios, pci_write_config_word );
115 PROVIDE_PCIAPI_INLINE ( pcbios, pci_write_config_dword );
|
| D | bios_timer.c | 63 PROVIDE_TIMER_INLINE ( pcbios, udelay );
64 PROVIDE_TIMER ( pcbios, currticks, bios_currticks );
65 PROVIDE_TIMER_INLINE ( pcbios, ticks_per_sec );
|
| D | bios_nap.c | 16 PROVIDE_NAP ( pcbios, cpu_nap, bios_cpu_nap );
|
| D | bios_smbios.c | 86 PROVIDE_SMBIOS ( pcbios, find_smbios, bios_find_smbios );
|
| /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
|
| /external/syslinux/gpxe/src/arch/i386/ |
| D | Makefile | 77 SRCDIRS += arch/i386/firmware/pcbios
81 SRCDIRS += arch/i386/interface/pcbios
|
| /external/syslinux/gpxe/src/ |
| D | Makefile.housekeeping | 281 DEFAULT_PLATFORM := pcbios
|