tag	line	file	source code
ipxitf_insert	639	net/inet/ipx.c	ipxitf_insert(intrfc);
ipxitf_insert	729	net/inet/ipx.c	ipxitf_insert(intrfc);
ipxitf_insert	803	net/inet/ipx.c	ipxitf_insert(intrfc);