tag	line	file	source code
dprintf2	224	net/inet/ip_fw.c	dprintf2("ICMP:%d ",((char *)portptr)[0]&0xff);
dprintf2	228	net/inet/ip_fw.c	dprintf2("p=%d ",ip->protocol);
dprintf2	236	net/inet/ip_fw.c	dprintf2(":%d ", src_port);
dprintf2	240	net/inet/ip_fw.c	dprintf2(":%d ",dst_port);