module Core_models.Core_arch.X86.Pclmulqdq

val e_mm_clmulepi64_si128 : Rust_primitives.Integers.i32 -> Core_models.Core_arch.X86.t_e_ee_m128i -> Core_models.Core_arch.X86.t_e_ee_m128i -> Core_models.Core_arch.X86.t_e_ee_m128i
