void HardwareTimer::detachInterrupt(int channel) { timer_detach_interrupt(this->dev, (uint8)channel); }
static void disable_channel(timer_dev *dev, uint8 channel) { timer_detach_interrupt(dev, channel); timer_cc_disable(dev, channel); }
void speaker_detachInterrupt(int channel) { timer_detach_interrupt(SPEAKER_TIMER, (uint8)channel); }