ipif_down_tail
(void) ipif_down_tail(ipif);
(void) ipif_down_tail(ipif);
(void) ipif_down_tail(ipif);
(void) ipif_down_tail(ipif);
(void) ipif_down_tail(ipif);
(void) ipif_down_tail(ipif);
(void) ipif_down_tail(ipif);
if ((err = ipif_down_tail(ipif)) != 0)
(void) ipif_down_tail(ipif);
(void) ipif_down_tail(ipif);
(void) ipif_down_tail(ipif);
(void) ipif_down_tail(ipif);
(void) ipif_down_tail(ipif);
(void) ipif_down_tail(ipif);
(void) ipif_down_tail(ipif);
(void) ipif_down_tail(ipif);
(void) ipif_down_tail(ipif);
(void) ipif_down_tail(ipif);
(void) ipif_down_tail(ipif);
(void) ipif_down_tail(ipif);
extern int ipif_down_tail(ipif_t *);