Index: kernel/arch/ia32/include/drivers/i8254.h
===================================================================
--- kernel/arch/ia32/include/drivers/i8254.h	(revision 5597947bd5373c00e8765e42d94a8f15fe74bfbf)
+++ kernel/arch/ia32/include/drivers/i8254.h	(revision 7012a8d8309f49a86ff67f20f384ac4a5fdb4e9a)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32	
+/** @addtogroup ia32
  * @{
  */
Index: kernel/arch/ia32/include/drivers/i8259.h
===================================================================
--- kernel/arch/ia32/include/drivers/i8259.h	(revision 5597947bd5373c00e8765e42d94a8f15fe74bfbf)
+++ kernel/arch/ia32/include/drivers/i8259.h	(revision 7012a8d8309f49a86ff67f20f384ac4a5fdb4e9a)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32	
+/** @addtogroup ia32
  * @{
  */
@@ -39,11 +39,11 @@
 #include <arch/interrupt.h>
 
-#define PIC_PIC0PORT1	((ioport8_t *) 0x20)
-#define PIC_PIC0PORT2	((ioport8_t *) 0x21)
-#define PIC_PIC1PORT1	((ioport8_t *) 0xa0)
-#define PIC_PIC1PORT2	((ioport8_t *) 0xa1)
+#define PIC_PIC0PORT1  ((ioport8_t *) 0x20)
+#define PIC_PIC0PORT2  ((ioport8_t *) 0x21)
+#define PIC_PIC1PORT1  ((ioport8_t *) 0xa0)
+#define PIC_PIC1PORT2  ((ioport8_t *) 0xa1)
 
-#define PIC_NEEDICW4	(1<<0)
-#define	PIC_ICW1	(1<<4)
+#define PIC_NEEDICW4  (1 << 0)
+#define PIC_ICW1      (1 << 4)
 
 extern void i8259_init(void);
Index: kernel/arch/ia32/include/drivers/vesa.h
===================================================================
--- kernel/arch/ia32/include/drivers/vesa.h	(revision 5597947bd5373c00e8765e42d94a8f15fe74bfbf)
+++ kernel/arch/ia32/include/drivers/vesa.h	(revision 7012a8d8309f49a86ff67f20f384ac4a5fdb4e9a)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32	
+/** @addtogroup ia32
  * @{
  */