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