1# See docs/devel/tracing.txt for syntax documentation. 2 3# sun4v-rtc.c 4sun4v_rtc_read(uint64_t addr, uint64_t value) "read: addr 0x%" PRIx64 " value 0x%" PRIx64 5sun4v_rtc_write(uint64_t addr, uint64_t value) "write: addr 0x%" PRIx64 " value 0x%" PRIx64 6 7# pl031.c 8pl031_irq_state(int level) "irq state %d" 9pl031_read(uint32_t addr, uint32_t value) "addr 0x%08x value 0x%08x" 10pl031_write(uint32_t addr, uint32_t value) "addr 0x%08x value 0x%08x" 11pl031_alarm_raised(void) "alarm raised" 12pl031_set_alarm(uint32_t ticks) "alarm set for %u ticks" 13