plat_timesync
static void plat_timesync(void *arg);
timesync_tid = timeout(plat_timesync, NULL, timesync_interval);
plat_timesync((void *) &attaching);