if ((*used)++) return 0; 
err = down_interruptible(&amijoy_sem); if (err) return err; 
static int amijoy_open(struct input_dev *dev){	int *used = dev->private;	if ((*used)++)		return 0;	if (request_irq(IRQ_AMIGA_VERTB, amijoy_interrupt, 0, "amijoy", amijoy_interrupt)) {		(*used)--;		printk(KERN_ERR "amijoy.c: Can't allocate irq %d\n", IRQ_AMIGA_VERTB);		return -EBUSY;	}	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/8b1a198bf14d59b67e47dc7b133ec5ea443fb40d/amijoy.c/clean/drivers/input/joystick/amijoy.c