Searched refs:sse_timer_reset (Results 1 – 2 of 2) sorted by relevance
372 static void sse_timer_reset(DeviceState *dev) in sse_timer_reset() function453 device_class_set_legacy_reset(dc, sse_timer_reset); in sse_timer_class_init()
100 sse_timer_reset(void) "SSE system timer: reset"