160 static int dccp_print_option(const u_char *option);
348 static int dccp_print_option(const u_char *option)  in dccp_print_option()  argument
352 	TCHECK(*option);  in dccp_print_option()
354 	if (*option >= 32) {  in dccp_print_option()
355 		TCHECK(*(option+1));  in dccp_print_option()
356 		optlen = *(option +1);  in dccp_print_option()
358 			printf("Option %d optlen too short",*option);  in dccp_print_option()
363 	TCHECK2(*option,optlen);  in dccp_print_option()
365 	switch (*option){  in dccp_print_option()
377 		if (*(option +2) < 10){  in dccp_print_option()
378 			printf(" %s", dccp_feature_nums[*(option +2)]);  in dccp_print_option()
379 			for (i = 0; i < optlen -3; i ++) printf(" %d", *(option +3 + i));	  in dccp_print_option()
384 		if (*(option +2) < 10){  in dccp_print_option()
385 			printf(" %s", dccp_feature_nums[*(option +2)]);  in dccp_print_option()
386 			for (i = 0; i < optlen -3; i ++) printf(" %d", *(option +3 + i));	  in dccp_print_option()
391 		if (*(option +2) < 10){  in dccp_print_option()
392 			printf(" %s", dccp_feature_nums[*(option +2)]);  in dccp_print_option()
393 			for (i = 0; i < optlen -3; i ++) printf(" %d", *(option +3 + i));	  in dccp_print_option()
398 		if (*(option +2) < 10){  in dccp_print_option()
399 			printf(" %s", dccp_feature_nums[*(option +2)]);  in dccp_print_option()
400 			for (i = 0; i < optlen -3; i ++) printf(" %d", *(option +3 + i));	  in dccp_print_option()
405 		for (i = 0; i < optlen -2; i ++) printf("%02x", *(option +2 + i));	  in dccp_print_option()
409 		for (i = 0; i < optlen -2; i ++) printf(" %d", *(option +2 + i));	  in dccp_print_option()
413 		for (i = 0; i < optlen -2; i ++) printf("%02x", *(option +2 + i));	  in dccp_print_option()
417 		for (i = 0; i < optlen -2; i ++) printf("%02x", *(option +2 + i));	  in dccp_print_option()
421 		for (i = 0; i < optlen -2; i ++) printf("%02x", *(option +2 + i));	  in dccp_print_option()
424 		printf("timestamp %u", EXTRACT_32BITS(option + 2));  in dccp_print_option()
427 		printf("timestamp_echo %u", EXTRACT_32BITS(option + 2));  in dccp_print_option()
432 			printf("%u", EXTRACT_32BITS(option + 2));  in dccp_print_option()
434 			printf("%u", EXTRACT_16BITS(option + 2));  in dccp_print_option()
438 		for (i = 0; i < optlen -2; i ++) printf("%02x", *(option +2 + i));	  in dccp_print_option()
441 		if (*option >= 128) {  in dccp_print_option()
442 			printf("CCID option %d",*option);  in dccp_print_option()
445 					printf(" %u", EXTRACT_16BITS(option + 2));  in dccp_print_option()
448 					printf(" %u", EXTRACT_32BITS(option + 2));  in dccp_print_option()
456 		printf("unknown_opt %d", *option);  in dccp_print_option()