taglinefilesource code
dprintf2252net/ipv4/ip_fw.cdprintf2("ICMP:%d ",((char *)portptr)[0]&0xff);
dprintf2256net/ipv4/ip_fw.cdprintf2("p=%d ",ip->protocol);
dprintf2265net/ipv4/ip_fw.cdprintf2(":%d ", src_port);
dprintf2269net/ipv4/ip_fw.cdprintf2(":%d ",dst_port);