int get_card_from_irq(int irq) 
static int get_card_from_irq(int irq) 
int get_card_from_irq(int irq){	int i;	for(i = 0 ; i < cinst ; i++) {		if(sc_adapter[i]->interrupt == irq)			return i;	}	return -1;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/e3ca5e762c2aca373f1762cbc622ebe20fd20869/interrupt.c/buggy/drivers/isdn/sc/interrupt.c