xicor_get_time     48 arch/mips/sibyte/swarm/setup.c extern time64_t xicor_get_time(void);
xicor_get_time     83 arch/mips/sibyte/swarm/setup.c 		sec = xicor_get_time();