choose_time_init  621 include/asm-x86/paravirt.h static inline void (*choose_time_init(void))(void)
choose_time_init   57 include/asm-x86/time.h #define choose_time_init() hpet_time_init