arm_tod_read_with_trigger
arm_tod_read_with_trigger(channel, channel->tod_trigger);
err = arm_tod_read_with_trigger(&idt82p33->channel[index], trigger);
err = arm_tod_read_with_trigger(&idt82p33->channel[i], trigger);