Index: kernel/generic/include/cpu/cpu_mask.h
===================================================================
--- kernel/generic/include/cpu/cpu_mask.h	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
+++ kernel/generic/include/cpu/cpu_mask.h	(revision ef84413529b8e88f0e34e6823b1f70331a1d72f4)
@@ -64,5 +64,4 @@
 } cpu_mask_t;
 
-
 extern size_t cpu_mask_size(void);
 extern void cpu_mask_active(cpu_mask_t *);