1 # See docs/trace-events.txt for syntax documentation.
3 # hw/i386/xen/xen_platform.c
4 xen_platform_log(char *s) "xen platform: %s"
6 # hw/i386/xen/xen_pvdevice.c
7 xen_pv_mmio_read(uint64_t addr) "WARNING: read from Xen PV Device MMIO space (address %"PRIx64")"
8 xen_pv_mmio_write(uint64_t addr) "WARNING: write to Xen PV Device MMIO space (address %"PRIx64")"
11 mhp_pc_dimm_assigned_slot(int slot) "0x%d"
12 mhp_pc_dimm_assigned_address(uint64_t addr) "0x%"PRIx64