Constant simics_api_sys::ARM_INT_REI

pub const ARM_INT_REI: u32 = 5;