Symbol: CSR_CHANNELS_AVAILABLE_HI