time_init         132 arch/x86/kernel/time_32.c void __init time_init(void)
time_init         130 arch/x86/kernel/time_64.c void __init time_init(void)