taglinefilesource code
ipxitf_down315net/ipx/af_ipx.cipxitf_down(i);
ipxitf_down761net/ipx/af_ipx.cipxitf_down(ipx_internal_net);
ipxitf_down776net/ipx/af_ipx.cipxitf_down(intrfc);