Function verimf
pub(in ::core_arch::s390x::vector) unsafe extern ""unadjusted"" fn verimf(a: vector_signed_int, b: vector_signed_int, c: vector_signed_int, d: i32) -> vector_signed_int
verimfpub(in ::core_arch::s390x::vector) unsafe extern ""unadjusted"" fn verimf(a: vector_signed_int, b: vector_signed_int, c: vector_signed_int, d: i32) -> vector_signed_int