us_to_tcp_ticks
v = us_to_tcp_ticks(sc, t4_toe_keepalive_idle);
v = us_to_tcp_ticks(sc, t4_toe_keepalive_interval);
v = us_to_tcp_ticks(sc, t4_toe_rexmt_min);
v = us_to_tcp_ticks(sc, t4_toe_rexmt_max);