if (aux->type == AUDIT_AVC_PATH) { struct audit_aux_data_path *axi = (void *)aux; dput(axi->dentry); mntput(axi->mnt); } 
static inline void audit_free_aux(struct audit_context *context){	struct audit_aux_data *aux;	while ((aux = context->aux)) {		context->aux = aux->next;		kfree(aux);	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/011161051bbc25f7f8b7df059dbd934c534443f0/auditsc.c/clean/kernel/auditsc.c