unsafe extern "C" fn vfmaddcsh_mask( a: __m128, b: __m128, c: __m128, k: __mmask8, rounding: i32, ) -> __m128