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 97b1dfc290beb228953f53022071c2f25b4686d4)
@@ -64,5 +64,4 @@
 } cpu_mask_t;
 
-
 extern size_t cpu_mask_size(void);
 extern void cpu_mask_active(cpu_mask_t *);