LIMIT_NETDEBUG(pr_info("DCCP: packet too small to insert %d option!\n", option)); 
LIMIT_NETDEBUG(KERN_INFO "DCCP: packet too small to insert %d option!\n", option); 
void dccp_insert_option(struct sock *sk, struct sk_buff *skb,			const unsigned char option,			const void *value, const unsigned char len){	unsigned char *to;	if (DCCP_SKB_CB(skb)->dccpd_opt_len + len + 2 > DCCP_MAX_OPT_LEN) {		LIMIT_NETDEBUG(pr_info("DCCP: packet too small to insert %d option!\n", option));		return;	}	DCCP_SKB_CB(skb)->dccpd_opt_len += len + 2;	to    = skb_push(skb, len + 2);	*to++ = option;	*to++ = len + 2;	memcpy(to, value, len);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/64ce207306debd7157f47282be94770407bec01c/options.c/clean/net/dccp/options.c