Searched refs:platform_reset (Results 1 – 1 of 1) sorted by relevance
577 static void platform_reset(DeviceState *dev) in platform_reset() function598 device_class_set_legacy_reset(dc, platform_reset); in xen_platform_class_init()