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