SV_MIC_BOOST     1110 dev/pci/sv.c     case SV_MIC_BOOST:
SV_MIC_BOOST     1270 dev/pci/sv.c     case SV_MIC_BOOST:
SV_MIC_BOOST     1380 dev/pci/sv.c     case SV_MIC_BOOST: