AUDIOHD_REG_CORBUBASE
AUDIOHD_REG_SET32(AUDIOHD_REG_CORBUBASE,
AUDIOHD_REG_SET32(AUDIOHD_REG_CORBUBASE, (uint32_t)(addr >> 32));