Function sha512_update_x_avx 

unsafe fn sha512_update_x_avx(x: &mut [__m128i; 8], k64: __m128i) -> __m128i