BECC_SDRAM_BAR
save = BECC_PCICORE_READ(BECC_SDRAM_BAR);
BECC_PCICORE_WRITE(BECC_SDRAM_BAR, 0xffffffffU);
reg = BECC_PCICORE_READ(BECC_SDRAM_BAR);
BECC_PCICORE_WRITE(BECC_SDRAM_BAR, save);
save = BECC_PCICORE_READ(BECC_SDRAM_BAR);