Add newline at the end of the files.

mentos/inc/descriptor_tables/gdt.h

@@ -138,4 +138,4 @@ void init_gdt();
 void gdt_set_gate(uint8_t index, uint32_t base, uint32_t limit, uint8_t access, uint8_t granul);
 
 /// @}
-/// @}
+/// @}

mentos/inc/descriptor_tables/idt.h

@@ -60,4 +60,4 @@ typedef struct idt_pointer_t {
 void init_idt();
 
 /// @}
-/// @}
+/// @}

mentos/inc/descriptor_tables/isr.h

@@ -97,4 +97,4 @@ extern void isq_handler(pt_regs *f);
                         //==============================================================================
 
 /// @}
-/// @}
+/// @}

mentos/inc/devices/fpu.h

@@ -130,4 +130,4 @@ void unswitch_fpu();
 int fpu_install();
 
 /// @}
-/// @}
+/// @}

mentos/inc/devices/pci.h

@@ -346,4 +346,4 @@ int pci_get_interrupt(uint32_t device);
 void pci_debug_scan();
 
 /// @}
-/// @}
+/// @}

mentos/inc/drivers/ata.h

@@ -26,4 +26,4 @@ int ata_initialize();
 int ata_finalize();
 
 /// @}
-/// @}
+/// @}

mentos/inc/drivers/fdc.h

@@ -19,4 +19,4 @@ int fdc_initialize();
 int fdc_finalize();
 
 /// @}
-/// @}
+/// @}

mentos/inc/drivers/keyboard/keyboard.h

@@ -49,4 +49,4 @@ int keyboard_initialize();
 int keyboard_finalize();
 
 /// @}
-/// @}
+/// @}

mentos/inc/drivers/keyboard/keymap.h

@@ -161,4 +161,4 @@ void init_keymaps();
 /// @}
 
 /// @}
-/// @}
+/// @}

mentos/inc/drivers/mouse.h

@@ -24,4 +24,4 @@ int mouse_initialize();
 int mouse_finalize();
 
 /// @}
-/// @}
+/// @}

mentos/inc/drivers/ps2.h

@@ -15,4 +15,4 @@ void ps2_write(unsigned char data);
 
 /// @brief Reads data from the PS/2 port.
 /// @return the data coming from the PS/2 port.
-unsigned char ps2_read();
+unsigned char ps2_read();

mentos/inc/drivers/rtc.h

@@ -26,4 +26,4 @@ int rtc_initialize();
 int rtc_finalize();
 
 /// @}
-/// @}
+/// @}

mentos/inc/elf/elf.h

@@ -288,4 +288,4 @@ const char *elf_symbol_type_to_string(int type);
 /// @brief Transforms the passed ELF symbol bind to string.
 /// @param bind The integer representing the ELF symbol bind.
 /// @return The string representing the ELF symbol bind.
-const char *elf_symbol_bind_to_string(int bind);
+const char *elf_symbol_bind_to_string(int bind);

mentos/inc/fs/ioctl.h

@@ -9,4 +9,4 @@
 /// @param request The device-dependent request code
 /// @param data    An untyped pointer to memory.
 /// @return On success zero is returned.
-int sys_ioctl(int fd, int request, void *data);
+int sys_ioctl(int fd, int request, void *data);

mentos/inc/fs/procfs.h

@@ -65,4 +65,4 @@ int procr_create_entry_pid(task_struct *entry);
 /// @brief Destroy the entire procfs entry tree for the give process.
 /// @param entry Pointer to the task_struct of the process.
 /// @return 0 if succeed, or -errno in case of error.
-int procr_destroy_entry_pid(task_struct *entry);
+int procr_destroy_entry_pid(task_struct *entry);

mentos/inc/hardware/timer.h

@@ -210,4 +210,4 @@ int sys_setitimer(int which, const struct itimerval *new_value, struct itimerval
 
 /// @brief Update the profiling timer and generate SIGPROF if it has expired.
 /// @param proc The process for which we must update the profiling.
-void update_process_profiling_timer(task_struct *proc);
+void update_process_profiling_timer(task_struct *proc);

mentos/inc/io/vga/vga.h

@@ -116,4 +116,4 @@ void vga_new_line();
 /// @brief Change the color.
 void vga_set_color(unsigned int color);
 
-void vga_run_test();
+void vga_run_test();

mentos/inc/klib/stdatomic.h

@@ -162,4 +162,3 @@ static inline int test_bit(int offset, volatile unsigned long *base)
 // is discouraged by many C/C++ groups.
 
 // == xchg/xchgl ==============================================================
-//

mentos/inc/mem/kheap.h

@@ -100,4 +100,4 @@ void *kmalloc_ap(unsigned int sz, unsigned int *phys);
 /// @return
 //void *realloc(void *ptr, unsigned int size);
 
-#endif
+#endif

mentos/inc/proc_access.h

@@ -268,4 +268,4 @@ static inline void pause()
 // below the block of asm statements.
 //  ASM("  addic. %0,%1,%2\n" : "=r"(res): "=r"(a),"r"(a))
 // This can be particularly important in cases when the code is accessing
-// shared memory.
+// shared memory.

mentos/inc/process/scheduler.h

@@ -111,4 +111,4 @@ int sys_waitperiod();
 /// is no longer alive.
 /// @param gid ID of the group
 /// @return 1 if the group is orphan, 0 otherwise.
-int is_orphaned_pgrp(pid_t gid);
+int is_orphaned_pgrp(pid_t gid);

mentos/inc/process/wait.h

@@ -107,4 +107,4 @@ int default_wake_function(wait_queue_entry_t *wait, unsigned mode, int sync);
 /// @param wq Waitqueue where to sleep.
 /// @return Pointer to the entry inside the wq representing the 
 ///         sleeping process.
-wait_queue_entry_t *sleep_on(wait_queue_head_t *wq);
+wait_queue_entry_t *sleep_on(wait_queue_head_t *wq);

mentos/inc/sys/module.h

@@ -25,4 +25,4 @@ int relocate_modules();
 
 /// @brief Returns the address where the modules end.
 /// @return Address after the modules.
-uintptr_t get_address_after_modules();
+uintptr_t get_address_after_modules();

mentos/inc/system/panic.h

@@ -10,4 +10,4 @@
 /// @param msg The message that has to be shown.
 void kernel_panic(const char *msg);
 
-#define TODO(msg) kernel_panic(#msg);
+#define TODO(msg) kernel_panic(#msg);

mentos/inc/system/signal.h

@@ -323,4 +323,4 @@ int sigdelset(sigset_t *set, int signum);
 /// @param signum The signalt to handle.
 /// @return 1 if signum is a member of set,
 ///         0 if signum is not a member, and -1 on error.
-int sigismember(sigset_t *set, int signum);
+int sigismember(sigset_t *set, int signum);

mentos/src/boot.c

@@ -292,4 +292,4 @@ void boot_main(uint32_t magic, multiboot_info_t *header, uint32_t esp)
     boot_kernel(boot_info.stack_base, elf_hdr->entry, &boot_info);
 }
 
-/// @}
+/// @}

mentos/src/devices/pci.c

@@ -496,4 +496,4 @@ void pci_debug_scan()
     pr_default("--------------------------------------------------\n");
 }
 
-///! @endcond
+///! @endcond

mentos/src/drivers/ata.c

@@ -1159,4 +1159,4 @@ int ata_finalize()
     return 0;
 }
 
-/// @}
+/// @}

mentos/src/drivers/fdc.c

@@ -65,4 +65,4 @@ int fdc_finalize()
     return 0;
 }
 
-/// @}
+/// @}

mentos/src/drivers/keyboard/keyboard.c

@@ -301,4 +301,4 @@ int keyboard_finalize()
     return 0;
 }
 
-/// @}
+/// @}

mentos/src/drivers/keyboard/keymap.c

@@ -240,4 +240,4 @@ void init_keymaps()
     keymaps[KEYMAP_US][KEY_KP_DEC] = (keymap_t){ 0x532E, 0x532E, 0x5300, 0x5300 }; // 0x0053
 }
 
-/// @}
+/// @}

mentos/src/drivers/mouse.c

@@ -214,4 +214,4 @@ int mouse_finalize()
     return 0;
 }
 
-/// @}
+/// @}

mentos/src/drivers/ps2.c

@@ -328,4 +328,4 @@ int ps2_initialize()
     pr_debug("Status   : %s (%3d | %02x)\n", dec_to_binary(status, 8), status, status);
 
     return 0;
-}
+}

mentos/src/drivers/rtc.c

@@ -160,4 +160,4 @@ int rtc_finalize()
     return 0;
 }
 
-/// @}
+/// @}

mentos/src/fs/ioctl.c

@@ -31,4 +31,4 @@ int sys_ioctl(int fd, int request, void *data)
 
     // Perform the ioctl.
     return vfs_ioctl(file, request, data);
-}
+}

mentos/src/fs/namei.c

@@ -60,4 +60,4 @@ int sys_creat(const char *path, mode_t mode)
 
     // Return the file descriptor and increment it.
     return fd;
-}
+}

mentos/src/fs/procfs.c

@@ -949,4 +949,4 @@ int proc_destroy_entry(const char *name, proc_dir_entry_t *parent)
         return -ENOENT;
     }
     return 0;
-}
+}

mentos/src/fs/read_write.c

@@ -93,4 +93,4 @@ off_t sys_lseek(int fd, off_t offset, int whence)
     }
     // Perform the lseek.
     return vfs_lseek(vfd->file_struct, offset, whence);
-}
+}

mentos/src/fs/stat.c

@@ -42,4 +42,4 @@ int sys_fstat(int fd, stat_t *buf)
     }
 
     return vfs_fstat(vfd->file_struct, buf);
-}
+}

mentos/src/hardware/timer.c

@@ -768,4 +768,4 @@ void update_process_profiling_timer(task_struct *proc)
             proc->it_prof_value = 0;
         }
     }
-}
+}