Searched refs:synic_reset (Results 1 – 1 of 1) sorted by relevance
127 static void synic_reset(DeviceState *dev) in synic_reset() function141 device_class_set_legacy_reset(dc, synic_reset); in synic_class_init()