ABE32_TO_U32
tcpoptp->tcp_opt_ts_val = ABE32_TO_U32((up+4));
tcpoptp->tcp_opt_ts_ecr = ABE32_TO_U32((up+8));
tcpopt->tcp_opt_ts_val = ABE32_TO_U32((up+4));
tcpopt->tcp_opt_ts_ecr = ABE32_TO_U32((up+8));