| 
							
							# 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"
 |