some style corrections

gtests/net/packetdrill/parser.y

@@ -2047,7 +2047,7 @@ tcp_option
 	}
 }
 ;
-	
+
 sack_block_list
 : sack_block                 { $$ = $1; }
 | sack_block_list sack_block {
@@ -2587,7 +2587,7 @@ spp_hbinterval
 	if (!is_valid_u32($3)) {
 		semantic_error("spp_hbinterval out of range");
 	}
-	$$ = new_integer_expression($3 , "%u"); }
+	$$ = new_integer_expression($3, "%u"); }
 | SPP_HBINTERVAL '=' ELLIPSIS { $$ = new_expression(EXPR_ELLIPSIS); }
 ;
 
@@ -2596,7 +2596,7 @@ spp_pathmtu
 	if (!is_valid_u32($3)) {
 		semantic_error("spp_pathmtu out of range");
 	}
-	$$ = new_integer_expression($3 , "%u"); }
+	$$ = new_integer_expression($3, "%u"); }
 | SPP_PATHMTU '=' ELLIPSIS { $$ = new_expression(EXPR_ELLIPSIS); }
 ;
 
@@ -2605,7 +2605,7 @@ spp_pathmaxrxt
 	if (!is_valid_u16($3)) {
 		semantic_error("spp_pathmaxrxt out of range");
 	}
-	$$ = new_integer_expression($3 , "%u"); }
+	$$ = new_integer_expression($3, "%u"); }
 | SPP_PATHMAXRXT '=' ELLIPSIS { $$ = new_expression(EXPR_ELLIPSIS); }
 ;
 

gtests/net/packetdrill/run_system_call.c

@@ -1745,7 +1745,7 @@ static int syscall_getsockopt(struct state *state, struct syscall_spec *syscall,
 				return STATUS_ERR;
 			}
 			if (live_status->sstat_state != state) {
-				asprintf(error, "Bad getsockopt SCTP_STATUS state: expected: %d actual: %d ",
+				asprintf(error, "Bad getsockopt SCTP_STATUS state: expected: %d actual: %d",
 					state, live_status->sstat_state);
 				free(live_optval);
 				return STATUS_ERR;
@@ -1757,7 +1757,7 @@ static int syscall_getsockopt(struct state *state, struct syscall_spec *syscall,
 				return STATUS_ERR;
 			}
 			if (live_status->sstat_rwnd != rwnd) {
-				asprintf(error, "Bad getsockopt SCTP_STATUS rwnd: expected: %u actual: %u ",
+				asprintf(error, "Bad getsockopt SCTP_STATUS rwnd: expected: %u actual: %u",
 					rwnd, live_status->sstat_rwnd);
 				free(live_optval);
 				return STATUS_ERR;
@@ -1904,7 +1904,7 @@ static int syscall_getsockopt(struct state *state, struct syscall_spec *syscall,
 				return STATUS_ERR;
 			}
 			if (live_params->spp_hbinterval != hbinterval) {
-				asprintf(error, "Bad getsockopt SCTP_PARAMS hbinterval: expected: %d actual: %d ",
+				asprintf(error, "Bad getsockopt SCTP_PARAMS hbinterval: expected: %u actual: %u ",
 					hbinterval, live_params->spp_hbinterval);
 				free(live_optval);
 				return STATUS_ERR;
@@ -1916,7 +1916,7 @@ static int syscall_getsockopt(struct state *state, struct syscall_spec *syscall,
 				return STATUS_ERR;
 			}
 			if (live_params->spp_pathmaxrxt != pathmaxrxt) {
-				asprintf(error, "Bad getsockopt SCTP_PARAMS pathmaxrxt: expected: %d actual: %d ",
+				asprintf(error, "Bad getsockopt SCTP_PARAMS pathmaxrxt: expected: %hu actual: %hu ",
 					pathmaxrxt, live_params->spp_pathmaxrxt);
 				free(live_optval);
 				return STATUS_ERR;
@@ -1928,7 +1928,7 @@ static int syscall_getsockopt(struct state *state, struct syscall_spec *syscall,
 				return STATUS_ERR;
 			}
 			if (live_params->spp_pathmtu != pathmtu) {
-				asprintf(error, "Bad getsockopt SCTP_PARAMS pathmtu: expected: %d actual: %d ",
+				asprintf(error, "Bad getsockopt SCTP_PARAMS pathmtu: expected: %u actual: %u ",
 					pathmtu, live_params->spp_pathmtu);
 				free(live_optval);
 				return STATUS_ERR;

gtests/net/packetdrill/symbols_freebsd.c

@@ -85,6 +85,7 @@ struct int_symbol platform_symbols_table[] = {
 	{ SCTP_MAXSEG,                      "SCTP_MAXSEG"                     },
 	{ SCTP_DELAYED_SACK,                "SCTP_DELAYED_SACK"               },
 	{ SCTP_MAX_BURST,                   "SCTP_MAX_BURST"                  },
+	{ SCTP_PEER_ADDR_PARAMS,            "SCTP_PEER_ADDR_PARAMS"           },
 	{ SCTP_STATUS,                      "SCTP_STATUS"                     },
 	{ SCTP_CLOSED,                      "SCTP_CLOSED"                     },
 	{ SCTP_BOUND,                       "SCTP_BOUND"                      },
@@ -96,7 +97,6 @@ struct int_symbol platform_symbols_table[] = {
 	{ SCTP_SHUTDOWN_RECEIVED,           "SCTP_SHUTDOWN_RECEIVED"          },
 	{ SCTP_SHUTDOWN_ACK_SENT,           "SCTP_SHUTDOWN_ACK_SENT"          },
 	{ SCTP_SHUTDOWN_PENDING,            "SCTP_SHUTDOWN_PENDING"           },
-	{ SCTP_PEER_ADDR_PARAMS,            "SCTP_PEER_ADDR_PARAMS"           },
 
 	/* /usr/include/netinet/tcp.h */
 	{ TCP_NODELAY,                      "TCP_NODELAY"                     },

gtests/net/packetdrill/symbols_linux.c

@@ -118,6 +118,9 @@ struct int_symbol platform_symbols_table[] = {
 #ifdef SCTP_MAX_BURST
 	{ SCTP_MAX_BURST,                   "SCTP_MAX_BURST"                  },
 #endif
+#ifdef SCTP_PEER_ADDR_PARAMS
+	{ SCTP_PEER_ADDR_PARAMS,            "SCTP_PEER_ADDR_PARAMS"           },
+#endif
 #ifdef SCTP_STATUS
 	{ SCTP_STATUS,                      "SCTP_STATUS"                     },
 #endif
@@ -125,9 +128,6 @@ struct int_symbol platform_symbols_table[] = {
 #if 0
 	{ SCTP_BOUND,                       "SCTP_BOUND"                      },
 	{ SCTP_LISTEN,                      "SCTP_LISTEN"                     },
-#endif
-#ifdef SCTP_PEER_ADDR_PARAMS
-	{ SCTP_PEER_ADDR_PARAMS,            "SCTP_PEER_ADDR_PARAMS"           },	
 #endif
 	{ SCTP_COOKIE_WAIT,                 "SCTP_COOKIE_WAIT"                },
 	{ SCTP_COOKIE_ECHOED,               "SCTP_COOKIE_ECHOED"              },