spin_unlock(&atm_dev_lock); 
up(&atm_dev_mutex); 
void atm_dev_seq_stop(struct seq_file *seq, void *v){ 	spin_unlock(&atm_dev_lock);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/aaaaaadbe7a663d110814db50fcbe7d320eb4c32/resources.c/buggy/net/atm/resources.c