taglinefilesource code
time_init87arch/alpha/kernel/time.cvoid time_init(void)
time_init360arch/i386/kernel/time.cvoid time_init(void)
time_init241arch/mips/kernel/time.cvoid time_init(void)
time_init234arch/sparc/kernel/time.cvoid time_init(void)