sel4_kit::arch

Constant GENERIC_TIMER_PCNT_IRQ

Source 
pub const GENERIC_TIMER_PCNT_IRQ: usize = 30;
Expand description

PCNT 使用的中断号