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