rev1              434 dev/pci/bktr/bktr_audio.c     int rev1=0, rev2=0;
rev1              435 dev/pci/bktr/bktr_audio.c     rev1 = msp_dpl_read(bktr, bktr->msp_addr, 0x12, 0x001e);
rev1              439 dev/pci/bktr/bktr_audio.c       "34%02d%c-%c%d", (rev2>>8)&0xff, (rev1&0xff)+'@', ((rev1>>8)&0xff)+'@',
rev1              583 dev/pci/bktr/bktr_audio.c     int rev1=0, rev2=0;
rev1              584 dev/pci/bktr/bktr_audio.c     rev1 = msp_dpl_read(bktr, bktr->dpl_addr, 0x12, 0x001e);
rev1              588 dev/pci/bktr/bktr_audio.c       "34%02d%c-%c%d", ((rev2>>8)&0xff)-1, (rev1&0xff)+'@',
rev1              589 dev/pci/bktr/bktr_audio.c       ((rev1>>8)&0xff)+'@', rev2&0x1f);