Lines Matching refs:thread_state_t
796 thread_state_t tstate,
966 return fpu_set_fxstate(thr_act, (thread_state_t)&state->ufs.fs64, x86_FLOAT_STATE64);
970 return fpu_set_fxstate(thr_act, (thread_state_t)&state->ufs.fs32, x86_FLOAT_STATE32);
1009 (thread_state_t)&state->ufs.as64,
1016 (thread_state_t)&state->ufs.as32,
1135 thread_state_t tstate,
1279 kret = fpu_get_fxstate(thr_act, (thread_state_t)&state->ufs.fs64, x86_FLOAT_STATE64);
1284 kret = fpu_get_fxstate(thr_act, (thread_state_t)&state->ufs.fs32, x86_FLOAT_STATE32);
1332 (thread_state_t)&state->ufs.as64,
1338 (thread_state_t)&state->ufs.as32,
1530 thread_state_t tstate,
1912 (thread_state_t) &ic64->ss, &val);
1919 (thread_state_t) &ic64->fs, &val);
1928 (thread_state_t)&ic64->ds,
1946 (thread_state_t) &ic32->ss, &val);
1953 (thread_state_t) &ic32->fs, &val);
1962 (thread_state_t)&ic32->ds,
1988 (thread_state_t) &ic64->ss, x86_SAVED_STATE64_COUNT);
1991 (thread_state_t) &ic64->fs, x86_FLOAT_STATE64_COUNT);
2000 (thread_state_t) &ic32->ss, x86_SAVED_STATE32_COUNT);
2003 (thread_state_t) &ic32->fs, x86_FLOAT_STATE32_COUNT);