Constant simics_api_sys::bindings::ARM_INT_VFIQ

pub const ARM_INT_VFIQ: u32 = 3;