| Philippe Mathieu-Daudé | 877c181 | 2019-10-04 01:03:52 +0200 | [diff] [blame^] | 1 | # See docs/devel/tracing.txt for syntax documentation. |
| 2 | |||||
| 3 | # pl031.c | ||||
| 4 | pl031_irq_state(int level) "irq state %d" | ||||
| 5 | pl031_read(uint32_t addr, uint32_t value) "addr 0x%08x value 0x%08x" | ||||
| 6 | pl031_write(uint32_t addr, uint32_t value) "addr 0x%08x value 0x%08x" | ||||
| 7 | pl031_alarm_raised(void) "alarm raised" | ||||
| 8 | pl031_set_alarm(uint32_t ticks) "alarm set for %u ticks" | ||||