tag	line	file	source code
intno	671	drivers/isdn/teles/card.c	teles_interrupt(int intno, void *dev_id, struct pt_regs *regs)
intno	678	drivers/isdn/teles/card.c	sp = (struct IsdnCardState *) irq2dev_map[intno];