const unsigned int __nocast priority) 
const gfp_t priority) 
static inline struct dccp_ackvec *dccp_ackvec_alloc(unsigned int len,					   const unsigned int __nocast priority){	return NULL;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/dd0fc66fb33cd610bc1a5db8a5e232d34879b4d7/ackvec.h/clean/net/dccp/ackvec.h