EX_FPM_DOUBLE_ECC
bit_mask = EX_FPM_DOUBLE_ECC;
EX_FPM_DOUBLE_ECC |
if (cfg->exceptions & EX_FPM_DOUBLE_ECC)