# not present in Rust
_bit_scan_forward
_bit_scan_reverse
_castf32_u32
_castf64_u64
_castu32_f32
_castu64_f64
_cvtsh_ss
_cvtss_sh
_lrotl
_lrotr
_may_i_use_cpu_feature
_may_i_use_cpu_feature_ext
_mm256_set1_pch
_mm512_set1_pch
_mm_malloc
_mm_popcnt_u32
_mm_popcnt_u64
_mm_set1_pch
_rdpmc
_rotl
_rotl64
_rotr
_rotr64
_rotwl
_rotwr
_tpause
_umwait
_urdmsr

# SDE ERROR: Cannot execute XGETBV with ECX != 0
_xgetbv

# top bits are undefined, unclear how to test these
_mm256_castph128_ph256
_mm256_castps128_ps256
_mm256_castpd128_pd256
_mm256_castsi128_si256

_mm512_castph128_ph512
_mm512_castps128_ps512
_mm512_castpd128_pd512
_mm512_castsi128_si512

_mm512_castph256_ph512
_mm512_castps256_ps512
_mm512_castpd256_pd512
_mm512_castsi256_si512
