hw/i386/xen/trace-events

   1 # hw/i386/xen/xen_platform.c
   2 xen_platform_log(char *s) "xen platform: %s"
   3
   4 # hw/i386/xen/xen_pvdevice.c
   5 xen_pv_mmio_read(uint64_t addr) "WARNING: read from Xen PV Device MMIO space (address %"PRIx64")"
   6 xen_pv_mmio_write(uint64_t addr) "WARNING: write to Xen PV Device MMIO space (address %"PRIx64")"