Symbol: pipex_timer
sys/net/pipex.c
669
timeout_set_flags(&pipex_timer_ch, pipex_timer, NULL,
sys/net/pipex_local.h
476
void pipex_timer (void *);