__ipxitf_put      350 net/ipx/af_ipx.c 				__ipxitf_put(i);
__ipxitf_put      364 net/ipx/af_ipx.c 		__ipxitf_put(i);
__ipxitf_put     1076 net/ipx/af_ipx.c 			__ipxitf_put(ipx_internal_net);
__ipxitf_put     1097 net/ipx/af_ipx.c 	__ipxitf_put(intrfc);