unsafe extern "unadjusted" fn vfcmaddcph_mask3_128( a: __m128, b: __m128, c: __m128, k: __mmask8, ) -> __m128