Searched refs:fs64 (Results 1 – 2 of 2) sorted by relevance
306 x86_float_state64_t fs64; member
1097 return fpu_set_fxstate(thr_act, (thread_state_t)&state->ufs.fs64, x86_FLOAT_STATE64); in machine_thread_set_state()1491 kret = fpu_get_fxstate(thr_act, (thread_state_t)&state->ufs.fs64, x86_FLOAT_STATE64); in machine_thread_get_state()