Searched refs:timer_clockevent (Results 1 – 1 of 1) sorted by relevance
698 static struct clock_event_device timer_clockevent = { variable725 (*timer_clockevent.event_handler)(&timer_clockevent); in um_timer()782 clockevents_register_device(&timer_clockevent); in um_timer_setup()819 timer_clockevent.name = "time-travel-timer-infcpu"; in setup_time_travel()826 timer_clockevent.name = "time-travel-timer-external"; in setup_time_travel()833 timer_clockevent.name = "time-travel-timer"; in setup_time_travel()