if (fp_kind == FP_NO)
return KERN_FAILURE;
+ if ((f == x86_AVX_STATE32 || f == x86_AVX_STATE64) &&
+ !ml_fpu_avx_enabled())
+ return KERN_FAILURE;
+
state = (x86_float_state64_t *)tstate;
assert(thr_act != THREAD_NULL);
if (fp_kind == FP_NO)
return KERN_FAILURE;
+ if ((f == x86_AVX_STATE32 || f == x86_AVX_STATE64) &&
+ !ml_fpu_avx_enabled())
+ return KERN_FAILURE;
+
state = (x86_float_state64_t *)tstate;
assert(thr_act != THREAD_NULL);