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