Searched refs:wallclock_init (Results 1 – 3 of 3) sorted by relevance
90 void (*wallclock_init)(void); member
100 .wallclock_init = x86_wallclock_init,
1299 x86_init.timers.wallclock_init(); in setup_arch()