@@ -172,18 +172,20 @@ void timer3_isr()
172172 /* set R0 match value to keep PPS high for the given time */
173173 TIMER3_MR0 = PPS1_WIDTH ;
174174
175- /* PPS trailing edge: at next R0 match, clear the external output. */
175+ /* PPS trailing edge: at next R0 match, clear the external
176+ * output. */
176177 TIMER3_EMR &= ~(0x3 << TIMER_EMR_EMC0_SHIFT );
177178 TIMER3_EMR |= (TIMER_EMR_EMC_CLEAR << TIMER_EMR_EMC0_SHIFT );
178179
179180 /* set R1 match value to keep trigger high until the end of PPS
180181 * pulse */
181182 TIMER3_MR1 = PPS1_WIDTH ;
182183
183- /* trigger trailing edge: at next R1 match, clear the external output
184- * if not trigger hold active. Otherwise, do nothing: if on, keep it on
185- * (long capture crossing second border). trigger hold changes take
186- * effect at the next PPS leading edge. */
184+ /* trigger trailing edge: at next R1 match, clear the external
185+ * output if not trigger hold active. Otherwise, do nothing:
186+ * if on, keep it on (long capture crossing second border).
187+ * trigger hold changes take effect at the next PPS leading
188+ * edge. */
187189 TIMER3_EMR &= ~(0x3 << TIMER_EMR_EMC1_SHIFT );
188190 if (trig_hold_enable )
189191 TIMER3_EMR |= (TIMER_EMR_EMC_NOTHING << TIMER_EMR_EMC1_SHIFT );
@@ -216,8 +218,9 @@ void timer3_isr()
216218 TIMER3_MR0 = current_divisor ;
217219
218220 /* PPS leading edge: at next R0 match (start of second), set to 1
219- * the external output if PPS output is enabled (regular PPS period).
220- * PPS output enable changes take effect at the next PPS leading edge. */
221+ * the external output if PPS output is enabled (regular PPSxi
222+ * period). PPS output enable changes take effect at the next
223+ * PPS leading edge. */
221224 TIMER3_EMR &= ~(0x3 << TIMER_EMR_EMC0_SHIFT );
222225 if (pps_out_enable )
223226 TIMER3_EMR |= (TIMER_EMR_EMC_SET << TIMER_EMR_EMC0_SHIFT );
0 commit comments