pub static x86_THREAD_STATE: thread_state_flavor_t