Lines Matching refs:efi
23 #include <gpxe/efi/efi.h>
24 #include <gpxe/efi/Protocol/CpuIo.h>
25 #include <gpxe/efi/efi_io.h>
29 * gPXE I/O API for EFI
50 * Determine EFI CPU I/O width code
53 * @ret width EFI width code
91 DBG ( "EFI I/O read at %p failed: %s\n",
117 DBG ( "EFI I/O write at %p failed: %s\n",
141 DBG ( "EFI I/O string read at %p failed: %s\n",
165 DBG ( "EFI I/O write at %p failed: %s\n",
179 PROVIDE_IOAPI_INLINE ( efi, phys_to_bus );
180 PROVIDE_IOAPI_INLINE ( efi, bus_to_phys );
181 PROVIDE_IOAPI_INLINE ( efi, ioremap );
182 PROVIDE_IOAPI_INLINE ( efi, iounmap );
183 PROVIDE_IOAPI_INLINE ( efi, io_to_bus );
184 PROVIDE_IOAPI_INLINE ( efi, readb );
185 PROVIDE_IOAPI_INLINE ( efi, readw );
186 PROVIDE_IOAPI_INLINE ( efi, readl );
187 PROVIDE_IOAPI_INLINE ( efi, readq );
188 PROVIDE_IOAPI_INLINE ( efi, writeb );
189 PROVIDE_IOAPI_INLINE ( efi, writew );
190 PROVIDE_IOAPI_INLINE ( efi, writel );
191 PROVIDE_IOAPI_INLINE ( efi, writeq );
192 PROVIDE_IOAPI_INLINE ( efi, inb );
193 PROVIDE_IOAPI_INLINE ( efi, inw );
194 PROVIDE_IOAPI_INLINE ( efi, inl );
195 PROVIDE_IOAPI_INLINE ( efi, outb );
196 PROVIDE_IOAPI_INLINE ( efi, outw );
197 PROVIDE_IOAPI_INLINE ( efi, outl );
198 PROVIDE_IOAPI_INLINE ( efi, insb );
199 PROVIDE_IOAPI_INLINE ( efi, insw );
200 PROVIDE_IOAPI_INLINE ( efi, insl );
201 PROVIDE_IOAPI_INLINE ( efi, outsb );
202 PROVIDE_IOAPI_INLINE ( efi, outsw );
203 PROVIDE_IOAPI_INLINE ( efi, outsl );
204 PROVIDE_IOAPI ( efi, iodelay, efi_iodelay );
205 PROVIDE_IOAPI_INLINE ( efi, mb );
