Constant ARM_NUM_IRQ_PRIORITY_BITS

pub const ARM_NUM_IRQ_PRIORITY_BITS: u32 = 3u32;