tag	line	file	source code
ipl	3387	drivers/scsi/53c7,8xx.c	int ipl,      /* Old ipl from splx(0) */
ipl	3442	drivers/scsi/53c7,8xx.c	ipl = splx(0);
ipl	3447	drivers/scsi/53c7,8xx.c	splx(ipl);