···868 goto err_reg;869 }87000871err_reg:872 debugf0("Error reading F2x%03x.\n", reg);873}···26362637 amd64_dump_misc_regs(pvt);2638002639err_reg:2640 debugf0("Reading an MC register failed\n");2641···2980 amd64_printk(KERN_INFO,2981 "ECC is enabled by BIOS, Proceeding "2982 "with EDAC module initialization\n");00029832984 /* CLEAR the override, since BIOS controlled it */2985 ecc_enable_override = 0;
···868 goto err_reg;869 }870871+ return;872+873err_reg:874 debugf0("Error reading F2x%03x.\n", reg);875}···26342635 amd64_dump_misc_regs(pvt);26362637+ return;2638+2639err_reg:2640 debugf0("Reading an MC register failed\n");2641···2976 amd64_printk(KERN_INFO,2977 "ECC is enabled by BIOS, Proceeding "2978 "with EDAC module initialization\n");2979+2980+ /* Signal good ECC status */2981+ ret = 0;29822983 /* CLEAR the override, since BIOS controlled it */2984 ecc_enable_override = 0;