taglinefilesource code
dprintf2310net/ipv4/ip_fw.cdprintf2("ICMP:%d ",icmp_type);
dprintf2314net/ipv4/ip_fw.cdprintf2("p=%d ",ip->protocol);
dprintf2323net/ipv4/ip_fw.cdprintf2(":%d ", src_port);
dprintf2327net/ipv4/ip_fw.cdprintf2(":%d ",dst_port);