diff --git a/arch/x86/kernel/isrs.c b/arch/x86/kernel/isrs.c
index ed0d6792..4e31cfef 100644
--- a/arch/x86/kernel/isrs.c
+++ b/arch/x86/kernel/isrs.c
@@ -172,7 +172,7 @@ static void fpu_init(union fpu_state* fpu)
 
                 memset(fx, 0, sizeof(union fpu_state));
                 fx->cwd = 0x37f;
-                if (has_xmm)
+                if (has_xmm())
                         fx->mxcsr = 0x1f80;
         } else {
                 i387_fsave_t *fp = &fpu->fsave;