m41t81_get_time    52 arch/mips/sibyte/swarm/setup.c extern time64_t m41t81_get_time(void);
m41t81_get_time    87 arch/mips/sibyte/swarm/setup.c 		sec = m41t81_get_time();