f1x_determine_channel
channel = f1x_determine_channel(pvt, sys_addr, high_range, intlv_en);
channel = f1x_determine_channel(pvt, sys_addr, false, intlv_en);