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