SV_IADDR_MCE 128 dev/ic/s3_617.h SV_IADDR_MCE = 0x40, SV_IADDR_MCE 246 dev/pci/sv.c iaddr |= SV_IADDR_MCE;