| # See docs/tracing.txt for syntax documentation. | |
| # hw/nvram/ds1225y.c | |
| nvram_read(uint32_t addr, uint32_t ret) "read addr %d: 0x%02x" | |
| nvram_write(uint32_t addr, uint32_t old, uint32_t val) "write addr %d: 0x%02x -> 0x%02x" | |
| # hw/nvram/fw_cfg.c | |
| fw_cfg_select(void *s, uint16_t key, int ret) "%p key %d = %d" | |
| fw_cfg_read(void *s, uint64_t ret) "%p = %"PRIx64 | |
| fw_cfg_add_file(void *s, int index, char *name, size_t len) "%p #%d: %s (%zd bytes)" |