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