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