Kernel: fix compilation with DEBUG_RACE on

diff --git a/kernel/proc.c b/kernel/proc.c
index 95291e0cd85feb986f60facc7f02f7f2fab53dd8..7e2580bb824e32d1fd8fab07dcea3ff45cbfd827 100644 (file)
--- a/kernel/proc.c
+++ b/kernel/proc.c
@@ -1737,8 +1737,8 @@ PUBLIC void proc_no_time(struct proc * p)
                 */
                p->p_cpu_time_left = ms_2_cpu_time(p->p_quantum_size_ms);
 #if DEBUG_RACE
-               RTS_SET(proc_ptr, RTS_PREEMPTED);
-               RTS_UNSET(proc_ptr, RTS_PREEMPTED);
+               RTS_SET(p, RTS_PREEMPTED);
+               RTS_UNSET(p, RTS_PREEMPTED);
 #endif
        }
 }