static void platform_reset(DeviceState *dev) { PCIXenPlatformState *s = DO_UPCAST(PCIXenPlatformState, pci_dev.qdev, dev); platform_fixed_ioport_reset(s); }
static void platform_reset(DeviceState *dev) { PCIXenPlatformState *s = XEN_PLATFORM(dev); platform_fixed_ioport_reset(s); }