ALTR_A10_ECC_INITA
ecc_set_bits(ALTR_A10_ECC_INITA, (ioaddr + ALTR_A10_ECC_CTRL_OFST));
init_mask = ALTR_A10_ECC_INITA;