208 static int dccp_print_option(const u_char *option);
407 static int dccp_print_option(const u_char *option)  in dccp_print_option()  argument
414 	TCHECK(*option);  in dccp_print_option()
416 	if (*option >= 32) {  in dccp_print_option()
417 		TCHECK(*(option+1));  in dccp_print_option()
418 		optlen = *(option +1);  in dccp_print_option()
420 			printf("Option %d optlen too short",*option);  in dccp_print_option()
425 	TCHECK2(*option,optlen);  in dccp_print_option()
427 	switch (*option){  in dccp_print_option()
439 		if (*(option +2) < 10){  in dccp_print_option()
440 			printf(" %s", dccp_feature_nums[*(option +2)]);  in dccp_print_option()
441 			for (i = 0; i < optlen -3; i ++) printf(" %d", *(option +3 + i));	  in dccp_print_option()
446 		if (*(option +2) < 10){  in dccp_print_option()
447 			printf(" %s", dccp_feature_nums[*(option +2)]);  in dccp_print_option()
448 			for (i = 0; i < optlen -3; i ++) printf(" %d", *(option +3 + i));	  in dccp_print_option()
453 		if (*(option +2) < 10){  in dccp_print_option()
454 			printf(" %s", dccp_feature_nums[*(option +2)]);  in dccp_print_option()
455 			for (i = 0; i < optlen -3; i ++) printf(" %d", *(option +3 + i));	  in dccp_print_option()
460 		if (*(option +2) < 10){  in dccp_print_option()
461 			printf(" %s", dccp_feature_nums[*(option +2)]);  in dccp_print_option()
462 			for (i = 0; i < optlen -3; i ++) printf(" %d", *(option +3 + i));	  in dccp_print_option()
467 		for (i = 0; i < optlen -2; i ++) printf("%02x", *(option +2 + i));	  in dccp_print_option()
471 		for (i = 0; i < optlen -2; i ++) printf(" %d", *(option +2 + i));	  in dccp_print_option()
475 		for (i = 0; i < optlen -2; i ++) printf("%02x", *(option +2 + i));	  in dccp_print_option()
479 		for (i = 0; i < optlen -2; i ++) printf("%02x", *(option +2 + i));	  in dccp_print_option()
483 		for (i = 0; i < optlen -2; i ++) printf("%02x", *(option +2 + i));	  in dccp_print_option()
486 		ts = (u_int32_t *)(option + 2);  in dccp_print_option()
490 		ts = (u_int32_t *)(option + 2);  in dccp_print_option()
496 			ts = (u_int32_t *)(option + 2);  in dccp_print_option()
499 			var16 = (u_int16_t *)(option + 2);  in dccp_print_option()
505 		for (i = 0; i < optlen -2; i ++) printf("%02x", *(option +2 + i));	  in dccp_print_option()
508 		if (*option >= 128) {  in dccp_print_option()
509 			printf("CCID option %d",*option);  in dccp_print_option()
512 					var16 = (u_int16_t *)(option + 2);  in dccp_print_option()
516 					var32 = (u_int32_t *)(option + 2);  in dccp_print_option()
525 		printf("unknown_opt %d", *option);  in dccp_print_option()