Index: libcfa/src/concurrency/kernel.hfa
===================================================================
--- libcfa/src/concurrency/kernel.hfa	(revision f0ce5f46bf7a712637429882bcf81e19c2741855)
+++ libcfa/src/concurrency/kernel.hfa	(revision 7030dab75c493bbd89de53cb88e496019c794ff4)
@@ -76,6 +76,6 @@
 	bool pending_preemption;
 
-	// Idle lock
-	__bin_sem_t idleLock;
+	// Idle lock (kernel semaphore)
+	__bin_sem_t idle;
 
 	// Termination
@@ -83,5 +83,5 @@
 	volatile bool do_terminate;
 
-	// Termination synchronisation
+	// Termination synchronisation (user semaphore)
 	semaphore terminated;
 
@@ -126,5 +126,5 @@
 
 	// List of processors
-	__spinlock_t proc_list_lock;
+	__spinlock_t idle_lock;
 	__dllist_t(struct processor) procs;
 	__dllist_t(struct processor) idles;