BECC_PCICORE_WRITE
BECC_PCICORE_WRITE(BECC_SDRAM_BAR, 0xffffffffU);
BECC_PCICORE_WRITE(BECC_SDRAM_BAR, save);