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() function454 dc->reset = sse_timer_reset; in sse_timer_class_init()
90 sse_timer_reset(void) "SSE system timer: reset"