spin_unlock(&atm_dev_lock); 
up(&atm_dev_mutex); 
struct atm_dev *atm_dev_lookup(int number){	struct atm_dev *dev;	spin_lock(&atm_dev_lock);	dev = __atm_dev_lookup(number);	spin_unlock(&atm_dev_lock);	return dev;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/aaaaaadbe7a663d110814db50fcbe7d320eb4c32/resources.c/buggy/net/atm/resources.c