>> I can't provide this information because it's proprietary.
Now I understand why you're reluctant to answer my questions clearly ;)
Since I don't know what API you're talking about, I don't have enough information to help you. You'll have to check in the API documentation whether there is a function that converts a channel_t value to its numeric id.
Something like :
int getChannelId(channel_t c) {
/* the implementation here would be different on both platforms, but hidden from you */
}
In that case, you can simply call this function :
if (
(getChannelId(cnfg->channel) >= 0) &&
(getChannelId(cnfg->channel) <= 15)
)