fpu_xsave_enabled
return (fpu_xsave_enabled());
ASSERT(fpu_xsave_enabled());
VERIFY(fpu_xsave_enabled());
ASSERT(fpu_xsave_enabled());
VERIFY(fpu_xsave_enabled());
if (!fpu_xsave_enabled()) {
if (!fpu_xsave_enabled()) {
if (!fpu_xsave_enabled()) {
VERIFY(fpu_xsave_enabled());
if (fpu_xsave_enabled()) {
if (fpu_xsave_enabled()) {
extern boolean_t fpu_xsave_enabled(void);
if (fpu_xsave_enabled() && user_xsave != 0) {
if (fpu_xsave_enabled() && user_xsave != 0) {