int *used = dev->private;  if (!--(*used)) 
down(&amijoysem); if (!--amijoy_used) 
static void amijoy_close(struct input_dev *dev){	int *used = dev->private;	if (!--(*used))		free_irq(IRQ_AMIGA_VERTB, amijoy_interrupt);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/8b1a198bf14d59b67e47dc7b133ec5ea443fb40d/amijoy.c/clean/drivers/input/joystick/amijoy.c