blob: 54c94ac557b21bca510f3e263f1904223cb623d0 (
plain) (
tree)
|
|
# See docs/devel/tracing.txt for syntax documentation.
# pl031.c
pl031_irq_state(int level) "irq state %d"
pl031_read(uint32_t addr, uint32_t value) "addr 0x%08x value 0x%08x"
pl031_write(uint32_t addr, uint32_t value) "addr 0x%08x value 0x%08x"
pl031_alarm_raised(void) "alarm raised"
pl031_set_alarm(uint32_t ticks) "alarm set for %u ticks"
|
