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