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