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