Constant ARM_NUM_IRQ_PRIORITY_BITS 

pub const ARM_NUM_IRQ_PRIORITY_BITS: u32 = 3u32;