kinfo_timer_cb
void kinfo_timer_cb(int, short, void *);
evtimer_set(&kinfo_timer, kinfo_timer_cb, NULL);