Constant simics_api_sys::bindings::ARM_INT_SEI

pub const ARM_INT_SEI: u32 = 4;