Searched refs:pico_ipv6_nd_dad (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_ipv6.c1657 static void pico_ipv6_nd_dad(pico_time now, void *arg) function
1672 l->dad_timer = pico_timer_add(100, pico_ipv6_nd_dad, &l->address);
1705 l->dad_timer = pico_timer_add(PICO_ICMP6_MAX_RTR_SOL_DELAY, pico_ipv6_nd_dad, &l->address);
1836 new->dad_timer = pico_timer_add(100, pico_ipv6_nd_dad, &new->address);

Completed in 31 milliseconds