Searched refs:writeq (Results 1 – 4 of 4) sorted by relevance
| /external/syslinux/gpxe/src/include/gpxe/ |
| D | io.h | 290 void writeq ( uint64_t data, volatile uint64_t *io_addr );
291 #define writeq( data, io_addr ) \ macro
292 IOAPI_WRITE ( writeq, uint64_t, data, io_addr, "MEM", 16 )
|
| /external/syslinux/gpxe/src/arch/i386/core/ |
| D | x86_io.c | 82 PROVIDE_IOAPI ( x86, writeq, x86_writeq );
|
| /external/syslinux/gpxe/src/interface/efi/ |
| D | efi_io.c | 191 PROVIDE_IOAPI_INLINE ( efi, writeq );
|
| /external/syslinux/gpxe/src/include/gpxe/efi/ |
| D | efi_io.h | 103 IOAPI_INLINE ( efi, writeq ) ( uint64_t data, volatile uint64_t *io_addr ) { in IOAPI_INLINE() argument
|