void dcookie_unregister(struct dcookie_user * user) 
static inline void dcookie_unregister(struct dcookie_user * user) 
void dcookie_unregister(struct dcookie_user * user){	return;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/0072b1389c25355ccc01048114adb9652c13fd9f/dcookies.h/buggy/include/linux/dcookies.h