1 files changed, 2 insertions, 2 deletions
diff --git a/i386/i386/fpu.c b/i386/i386/fpu.c
index 36bdb41d..fefe5e49 100644
--- a/i386/i386/fpu.c
+++ b/i386/i386/fpu.c
@@ -60,8 +60,8 @@
 #include <i386/ipl.h>
 #define ASSERT_IPL(L) \
 { \
-      if (curr_ipl != L) { \
-	      printf("IPL is %d, expected %d\n", curr_ipl, L); \
+      if (curr_ipl[cpu_number()] != L) { \
+	      printf("IPL is %d, expected %d\n", curr_ipl[cpu_number()], L); \
 	      panic("fpu: wrong ipl"); \
       } \
 }