| Philippe Mathieu-Daudé | 877c181 | 2019-10-04 01:03:52 +0200 | [diff] [blame] | 1 | # See docs/devel/tracing.txt for syntax documentation. |
| 2 | |
| Philippe Mathieu-Daudé | 2811ac3 | 2019-10-04 01:03:56 +0200 | [diff] [blame] | 3 | # sun4v-rtc.c |
| 4 | sun4v_rtc_read(uint64_t addr, uint64_t value) "read: addr 0x%" PRIx64 " value 0x%" PRIx64 |
| 5 | sun4v_rtc_write(uint64_t addr, uint64_t value) "write: addr 0x%" PRIx64 " value 0x%" PRIx64 |
| 6 | |
| Philippe Mathieu-Daudé | 8035f85 | 2019-10-04 01:03:59 +0200 | [diff] [blame] | 7 | # xlnx-zynqmp-rtc.c |
| 8 | xlnx_zynqmp_rtc_gettime(int year, int month, int day, int hour, int min, int sec) "Get time from host: %d-%d-%d %2d:%02d:%02d" |
| 9 | |
| Philippe Mathieu-Daudé | 877c181 | 2019-10-04 01:03:52 +0200 | [diff] [blame] | 10 | # pl031.c |
| 11 | pl031_irq_state(int level) "irq state %d" |
| 12 | pl031_read(uint32_t addr, uint32_t value) "addr 0x%08x value 0x%08x" |
| 13 | pl031_write(uint32_t addr, uint32_t value) "addr 0x%08x value 0x%08x" |
| 14 | pl031_alarm_raised(void) "alarm raised" |
| 15 | pl031_set_alarm(uint32_t ticks) "alarm set for %u ticks" |
| Philippe Mathieu-Daudé | ea5dcf4 | 2019-10-04 01:04:01 +0200 | [diff] [blame] | 16 | |
| 17 | # aspeed-rtc.c |
| 18 | aspeed_rtc_read(uint64_t addr, uint64_t value) "addr 0x%02" PRIx64 " value 0x%08" PRIx64 |
| 19 | aspeed_rtc_write(uint64_t addr, uint64_t value) "addr 0x%02" PRIx64 " value 0x%08" PRIx64 |