Changeset 7f043c0 in mainline for kernel/arch/ia32/src/proc/scheduler.c

Timestamp:

2007-05-31T21:39:13Z (18 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

7bb0c32

Parents:

d8431986

Message:

fix ICC compilation

File:

• kernel/arch/ia32/src/proc/scheduler.c (modified) (1 diff)

kernel/arch/ia32/src/proc/scheduler.c

@@ -67 +67 @@
 #ifdef CONFIG_DEBUG_AS_WATCHPOINT
         /* Set watchpoint on AS to ensure that nobody sets it to zero */
-        if (CPU->id < BKPOINTS_MAX)
-                breakpoint_add(&((the_t *) THREAD->kstack)->as, 
-                               BKPOINT_WRITE | BKPOINT_CHECK_ZERO,
-                               CPU->id);
+        if (CPU->id < BKPOINTS_MAX) {
+                the_t *the = THE;
+                breakpoint_add(&((the_t *) the->thread->kstack)->as, 
+                        BKPOINT_WRITE | BKPOINT_CHECK_ZERO, the->cpu->id);
+        }
 #endif
 }