Constant simics_api_sys::ARM_INT_SEI

source · 
pub const ARM_INT_SEI: u32 = 4;