Constant RV_EXTERNAL_INT_COUNT

pub const RV_EXTERNAL_INT_COUNT: u32 = 32;