diff --git a/src/system/kernel/scheduler/scheduler.cpp b/src/system/kernel/scheduler/scheduler.cpp
index 4d2df07765..0c69aa6c7c 100644
--- a/src/system/kernel/scheduler/scheduler.cpp
+++ b/src/system/kernel/scheduler/scheduler.cpp
@@ -118,7 +118,7 @@ enqueue(Thread* thread, bool newOne)
 	bool rescheduleNeeded = threadData->ChooseCoreAndCPU(targetCore, targetCPU);
 
 	TRACE("enqueueing thread %ld with priority %ld on CPU %ld (core %ld)\n",
-		thread->id, threadPriority, targetCPU->fCPUNumber, targetCore->fCoreID);
+		thread->id, threadPriority, targetCPU->ID(), targetCore->ID());
 
 	threadData->Enqueue();