SDRC_SYSCONFIG
(sdrc_read_reg(SDRC_SYSCONFIG) & 0xFFFF);
l = sdrc_read_reg(SDRC_SYSCONFIG);
sdrc_write_reg(l, SDRC_SYSCONFIG);