[][src]Constant r3_port_std::INTERRUPT_PRIORITY_TIMER

pub const INTERRUPT_PRIORITY_TIMER: InterruptPriority = 16383;

The default interrupt priority for INTERRUPT_LINE_TIMER.