| 1 | # See docs/devel/tracing.rst for syntax documentation. |
| 2 | |
| 3 | # xen_platform.c |
| 4 | xen_platform_log(char *s) "xen platform: %s" |
| 5 | |
| 6 | # xen_pvdevice.c |
| 7 | xen_pv_mmio_read(uint64_t addr) "WARNING: read from Xen PV Device MMIO space (address 0x%"PRIx64")" |
| 8 | xen_pv_mmio_write(uint64_t addr) "WARNING: write to Xen PV Device MMIO space (address 0x%"PRIx64")" |
| 9 |