TPS6131X_MAX_CHANNELS
u32 channels[TPS6131X_MAX_CHANNELS];
if (num_channels > TPS6131X_MAX_CHANNELS) {
num_channels, TPS6131X_MAX_CHANNELS);