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