htcp_cong_time     55 net/ipv4/tcp_htcp.c 	return htcp_cong_time(ca) / ca->minRTT;
htcp_cong_time    174 net/ipv4/tcp_htcp.c 	u32 diff = htcp_cong_time(ca);