const unsigned int __nocast priority) 
const gfp_t priority) 
struct dccp_ackvec *dccp_ackvec_alloc(const unsigned int len,				      const unsigned int __nocast priority){	struct dccp_ackvec *av = kmalloc(sizeof(*av) + len, priority);	if (av != NULL) {		av->dccpav_buf_len	= len;		av->dccpav_buf_head	=			av->dccpav_buf_tail = av->dccpav_buf_len - 1;		av->dccpav_buf_ackno	=			av->dccpav_ack_ackno = av->dccpav_ack_seqno = ~0LLU;		av->dccpav_buf_nonce = av->dccpav_buf_nonce = 0;		av->dccpav_ack_ptr	= 0;		av->dccpav_time.tv_sec	= 0;		av->dccpav_time.tv_usec	= 0;		av->dccpav_sent_len	= av->dccpav_vec_len = 0;	}	return av;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/dd0fc66fb33cd610bc1a5db8a5e232d34879b4d7/ackvec.c/buggy/net/dccp/ackvec.c