GCPU_MCA_F_CMCI_CAPABLE
if ((mca->gcpu_mca_flags & GCPU_MCA_F_CMCI_CAPABLE) == 0)
mca->gcpu_mca_flags |= GCPU_MCA_F_CMCI_CAPABLE;