ccid3_pr_debug("%s, sk=%p\n", dccp_role(sk), sk); 
static void ccid3_exit(struct sock *sk){	ccid3_pr_debug("%s, sk=%p\n", dccp_role(sk), sk);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/59d203f9e989c81defc2cb1c559d678e16dbe684/ccid3.c/clean/net/dccp/ccids/ccid3.c