1*877c181cSPhilippe Mathieu-Daudé# See docs/devel/tracing.txt for syntax documentation. 2*877c181cSPhilippe Mathieu-Daudé 3*877c181cSPhilippe Mathieu-Daudé# pl031.c 4*877c181cSPhilippe Mathieu-Daudépl031_irq_state(int level) "irq state %d" 5*877c181cSPhilippe Mathieu-Daudépl031_read(uint32_t addr, uint32_t value) "addr 0x%08x value 0x%08x" 6*877c181cSPhilippe Mathieu-Daudépl031_write(uint32_t addr, uint32_t value) "addr 0x%08x value 0x%08x" 7*877c181cSPhilippe Mathieu-Daudépl031_alarm_raised(void) "alarm raised" 8*877c181cSPhilippe Mathieu-Daudépl031_set_alarm(uint32_t ticks) "alarm set for %u ticks" 9