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

/seL4-camkes-master/projects/picotcp/test/unit/
H A Dmodunit_pico_dev_ppp.c147 fail_if(_ppp.timer_val != PICO_PPP_DEFAULT_TIMER);
154 fail_if(_ppp.timer_val != PICO_PPP_DEFAULT_TIMER);
161 fail_if(_ppp.timer_val != PICO_PPP_DEFAULT_TIMER);
171 fail_if(_ppp.timer_val != PICO_PPP_DEFAULT_TIMER);
181 fail_if(_ppp.timer_val != PICO_PPP_DEFAULT_TIMER);
311 fail_if(_ppp.timer_val != PICO_PPP_DEFAULT_TIMER);
925 fail_if(_ppp.timer_val != PICO_PPP_DEFAULT_TIMER);
1041 fail_if (_ppp.timer_val != PICO_PPP_DEFAULT_TIMER * PICO_PPP_DEFAULT_MAX_FAILURE);
/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_dev_ppp.c77 #define PICO_PPP_DEFAULT_TIMER (3) /* seconds */ macro
371 ppp->timer_val = PICO_PPP_DEFAULT_TIMER;
557 ppp->timer_val = PICO_PPP_DEFAULT_TIMER;
843 ppp->timer_val = PICO_PPP_DEFAULT_TIMER;
1852 ppp->timer_val = PICO_PPP_DEFAULT_TIMER;
1955 ppp->timer_val = PICO_PPP_DEFAULT_TIMER * PICO_PPP_DEFAULT_MAX_FAILURE;

Completed in 41 milliseconds