Symbol: icmp_rtime
sbin/ping/ping.c
1035
printf(" tsr=%s", pr_ntime(icp->icmp_rtime));
sys/netinet/ip_icmp.c
804
icp->icmp_rtime = iptime();
sys/netinet/ip_icmp.c
805
icp->icmp_ttime = icp->icmp_rtime; /* bogus, do later! */