877c181cd4
The PL031 is a Real Time Clock, not a timer. Move it under the hw/rtc/ subdirectory. Reviewed-by: Alistair Francis <alistair.francis@wdc.com> Signed-off-by: Philippe Mathieu-Daudé <philmd@redhat.com> Acked-by: Peter Maydell <peter.maydell@linaro.org> Message-Id: <20191003230404.19384-3-philmd@redhat.com> Signed-off-by: Laurent Vivier <laurent@vivier.eu>
9 lines
344 B
Plaintext
9 lines
344 B
Plaintext
# 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"
|