logtimeout
SBT_1S / log_wakeups_per_second, 0, logtimeout, NULL, C_PREL(1));
static void logtimeout(void *arg);