const u32 ndp, const struct sk_buff *skb, const int prio) 
const u32 ndp, const struct sk_buff *skb, const unsigned int __nocast prio) 
			     dccp_rx_hist_entry_new(struct dccp_rx_hist *hist,					     	    const u32 ndp, 						    const struct sk_buff *skb,						    const int prio){	struct dccp_rx_hist_entry *entry = kmem_cache_alloc(hist->dccprxh_slab,							    prio);	if (entry != NULL) {		const struct dccp_hdr *dh = dccp_hdr(skb);		entry->dccphrx_seqno = DCCP_SKB_CB(skb)->dccpd_seq;		entry->dccphrx_ccval = dh->dccph_ccval;		entry->dccphrx_type  = dh->dccph_type;		entry->dccphrx_ndp   = ndp;		do_gettimeofday(&(entry->dccphrx_tstamp));	}	return entry;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/a1d3a35518779df0579dd9de0121354b49c68ddc/packet_history.h/clean/net/dccp/packet_history.h