static void user_destroy(struct key *key) 
void user_destroy(struct key *key) 
static void user_destroy(struct key *key){	struct user_key_payload *upayload = key->payload.data;	kfree(upayload);} /* end user_destroy() */
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/2aa349f6e37ce030060c994d3aebbff4ab703565/user_defined.c/buggy/security/keys/user_defined.c