gistfile1.cpp

static inline void setTimerSettingsToDefaultByNum(uint_fast8_t timerNum) {
    // enable timer interrupt
    CpuTimer0Regs.TCR.bit.TIE = 1;
    // free run mode switch on
    CpuTimer0Regs.TCR.bit.FREE = 1;
    CpuTimer0Regs.TCR.bit.SOFT = 0;

    // set preload value and timer prescaler
    CpuTimer0Regs.PRD.all           = 0xFFFF;
    CpuTimer1Regs.TPR.bit.TDDR      = 0xFF;
    CpuTimer1Regs.TPRH.bit.TDDRH    = 0xFF;
}