pub static x86_AVX_STATE64: thread_state_flavor_t