choose_time_init  136 arch/x86/kernel/time_32.c 	late_time_init = choose_time_init();
choose_time_init  134 arch/x86/kernel/time_64.c 	late_time_init = choose_time_init();