__ipxitf_down     322 net/ipx/af_ipx.c 	__ipxitf_down(intrfc);
__ipxitf_down     329 net/ipx/af_ipx.c 		__ipxitf_down(intrfc);