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