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