Constant simics_api_sys::bindings::ARM_INT_VSEI

source ยท 
pub const ARM_INT_VSEI: u32 = 6;