| Philippe Mathieu-Daudé | ab6bff4 | 2019-06-25 00:28:40 +0200 | [diff] [blame] | 1 | # gt64xxx.c |
| 2 | gt64120_read(const char *regname, int width, uint64_t value) "gt64120 read %s value:0x%0*" PRIx64 | ||||
| 3 | gt64120_write(const char *regname, int width, uint64_t value) "gt64120 write %s value:0x%0*" PRIx64 | ||||
| 4 | gt64120_isd_remap(uint64_t from_length, uint64_t from_addr, uint64_t to_length, uint64_t to_addr) "ISD: 0x%08" PRIx64 "@0x%08" PRIx64 " -> 0x%08" PRIx64 "@0x%08" PRIx64 | ||||