DCCP_SKB_CB(skb)->dccpd_type = DCCP_PKT_SYNC; 
DCCP_SKB_CB(skb)->dccpd_type = pkt_type; 
void dccp_send_sync(struct sock *sk, u64 seq){	/*	 * We are not putting this on the write queue, so	 * dccp_transmit_skb() will set the ownership to this	 * sock.	 */	struct sk_buff *skb = alloc_skb(MAX_DCCP_HEADER, GFP_ATOMIC);	if (skb == NULL)		/* FIXME: how to make sure the sync is sent? */		return;	/* Reserve space for headers and prepare control bits. */	skb_reserve(skb, MAX_DCCP_HEADER);	skb->csum = 0;	DCCP_SKB_CB(skb)->dccpd_type = DCCP_PKT_SYNC;	DCCP_SKB_CB(skb)->dccpd_seq = seq;	skb_set_owner_w(skb, sk);	dccp_transmit_skb(sk, skb);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/e92ae93a8aa66aea12935420cb22d4df1c18d023/output.c/buggy/net/dccp/output.c