Index: kernel/generic/include/cpu/cpu_mask.h
===================================================================
--- kernel/generic/include/cpu/cpu_mask.h	(revision c79800f66d9e4a8fc017a7022699c3e34b795b26)
+++ kernel/generic/include/cpu/cpu_mask.h	(revision 34e1206ec4dc79f0592077e3ee270fba91d1eb9d)
@@ -39,11 +39,11 @@
 #include <lib/memfnc.h>
 
-/** Iterates over all cpu id's whose bit is included in the cpu mask. 
- * 
+/** Iterates over all cpu id's whose bit is included in the cpu mask.
+ *
  * Example usage:
  * @code
  * DEFINE_CPU_MASK(cpu_mask);
  * cpu_mask_active(&cpu_mask);
- * 
+ *
  * cpu_mask_for_each(cpu_mask, cpu_id) {
  *     printf("Cpu with logical id %u is active.\n", cpu_id);
@@ -53,5 +53,5 @@
 #define cpu_mask_for_each(mask, cpu_id) \
 	for (unsigned int (cpu_id) = 0; (cpu_id) < config.cpu_count; ++(cpu_id)) \
-		if (cpu_mask_is_set(&(mask), (cpu_id))) 
+		if (cpu_mask_is_set(&(mask), (cpu_id)))
 
 /** Allocates a cpu_mask_t on stack. */
@@ -74,5 +74,5 @@
 extern bool cpu_mask_is_none(cpu_mask_t *);
 
-#endif /* KERN_CPU_CPU_MASK_H_ */ 
+#endif /* KERN_CPU_CPU_MASK_H_ */
 
 /** @}