tag	line	file	source code
vecp	3284	drivers/char/istallion.c	volatile unsigned long  *vecp;
vecp	3291	drivers/char/istallion.c	vecp = (volatile unsigned long *) (brdp->membase + 0x30);
vecp	3292	drivers/char/istallion.c	*vecp = 0xffff0000;