Symbol: SDCC_HC_REG_DDR_CONFIG