nd6_timer
static void nd6_timer(void *);
callout_reset(&nd6_timer_ch, hz, nd6_timer, NULL);
nd6_timer, NULL);