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