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

/seL4-camkes-master/projects/lwip/src/include/netif/ppp/
H A Dfsm.h123 void (*retransmit) /* Retransmission is necessary */ member in struct:fsm_callbacks
/seL4-camkes-master/projects/lwip/src/netif/ppp/
H A Dfsm.c69 static void fsm_sconfreq(fsm *f, int retransmit);
300 if (f->callbacks->retransmit)
301 (*f->callbacks->retransmit)(f);
706 static void fsm_sconfreq(fsm *f, int retransmit) { argument
720 if( !retransmit ){
759 /* start the retransmit timer */
/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_dhcp_client.c749 static int retransmit(struct pico_dhcp_client_cookie *dhcpc, uint8_t *buf) function
779 dhcpc_dbg("DHCP client WARNING: retransmit in incorrect state (%u)!\n", dhcpc->state);
797 { /* event |offer |ack |nak |T1 |T2 |lease |retransmit */
800 /* state init */ { recv_offer, NULL, NULL, NULL, NULL, NULL, retransmit },
802 /* state requesting */ { NULL, recv_ack, reset, NULL, NULL, NULL, retransmit },
804 /* state renewing */ { NULL, recv_ack, reset, NULL, rebind, NULL, retransmit },
805 /* state rebinding */ { NULL, recv_ack, reset, NULL, NULL, reset, retransmit },

Completed in 57 milliseconds