| 1 | replay_put_byte(uint8_t event) "%02x" |
| 2 | replay_put_event(uint8_t event) "%02x" |
| 3 | replay_put_word(uint16_t event) "%04x" |
| 4 | replay_put_dword(uint32_t event) "%08x" |
| 5 | replay_put_qword(uint64_t event) "%016" PRIx64 |
| 6 | replay_get_byte(uint8_t byte) "%02x" |
| 7 | replay_get_word(uint16_t word) "%04x" |
| 8 | replay_get_dword(uint32_t dword) "%08x" |
| 9 | replay_get_qword(uint64_t qword) "%016" PRIx64 |
| 10 | replay_fetch_data_kind(void) "" |
| 11 | replay_get_event(uint32_t current, uint8_t data) "#%u data=%02x" |
| 12 | replay_advance_current_icount(uint64_t current_icount, int diff) "current=%" PRIu64 " diff=%d" |