spin_lock(&atm_dev_lock); 
down(&atm_dev_mutex); 
void *atm_dev_seq_start(struct seq_file *seq, loff_t *pos){ 	spin_lock(&atm_dev_lock);	return *pos ? dev_get_idx(*pos) : (void *) 1;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/aaaaaadbe7a663d110814db50fcbe7d320eb4c32/resources.c/buggy/net/atm/resources.c