taglinefilesource code
dump_addr844net/inet/ipx.cdump_addr("  IPX-DST",&p->ipx_dest);
dump_addr845net/inet/ipx.cdump_addr("  IPX-SRC",&p->ipx_source);