| # See docs/devel/tracing.txt for syntax documentation. | |
| # hw/sd/milkymist-memcard.c | |
| milkymist_memcard_memory_read(uint32_t addr, uint32_t value) "addr 0x%08x value 0x%08x" | |
| milkymist_memcard_memory_write(uint32_t addr, uint32_t value) "addr 0x%08x value 0x%08x" |