Constant RV_EXTERNAL_INT_COUNT 

pub const RV_EXTERNAL_INT_COUNT: u32 = 32;