taglinefilesource code
ipl3408drivers/scsi/53c7,8xx.cint ipl,      /* Old ipl from splx(0) */
ipl3463drivers/scsi/53c7,8xx.cipl = splx(0);
ipl3468drivers/scsi/53c7,8xx.csplx(ipl);