module Vale.Wrapper.X64.Cpuid
open FStar.Mul

let check_aesni () =
let open Vale.X64.Decls in
  let (x, _) = Vale.Stdcalls.X64.Cpuid.check_aesni () in //This is a call to the interop wrapper
  x

let check_sha () =
  let (x, _) = Vale.Stdcalls.X64.Cpuid.check_sha () in //This is a call to the interop wrapper
  x

let check_adx_bmi2 () =
  let (x, _) = Vale.Stdcalls.X64.Cpuid.check_adx_bmi2 () in //This is a call to the interop wrapper
  x

let check_avx () =
  let (x, _) = Vale.Stdcalls.X64.Cpuid.check_avx () in //This is a call to the interop wrapper
  x

let check_avx2 () =
  let (x, _) = Vale.Stdcalls.X64.Cpuid.check_avx2 () in //This is a call to the interop wrapper
  x

let check_movbe () =
  let (x, _) = Vale.Stdcalls.X64.Cpuid.check_movbe () in //This is a call to the interop wrapper
  x

let check_sse () =
  let (x, _) = Vale.Stdcalls.X64.Cpuid.check_sse () in //This is a call to the interop wrapper
  x

let check_rdrand () =
  let (x, _) = Vale.Stdcalls.X64.Cpuid.check_rdrand () in //This is a call to the interop wrapper
  x

let check_avx512 () =
  let (x, _) = Vale.Stdcalls.X64.Cpuid.check_avx512 () in //This is a call to the interop wrapper
  x

let check_osxsave () =
  let (x, _) = Vale.Stdcalls.X64.Cpuid.check_osxsave () in //This is a call to the interop wrapper
  x

let check_avx_xcr0 () =
  let (x, _) = Vale.Stdcalls.X64.Cpuid.check_avx_xcr0 () in //This is a call to the interop wrapper
  x

let check_avx512_xcr0 () =
  let (x, _) = Vale.Stdcalls.X64.Cpuid.check_avx512_xcr0 () in //This is a call to the interop wrapper
  x