Constant RV_EXTERNAL_INT_OFFSET 

pub const RV_EXTERNAL_INT_OFFSET: u32 = 0;