Index: kernel/arch/ia32/include/drivers/ega.h
===================================================================
--- kernel/arch/ia32/include/drivers/ega.h	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/arch/ia32/include/drivers/ega.h	(revision f1d1f5d3d65116db3fe2744bb3cf38c85e99f14c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __EGA_H__
-#define __EGA_H__
+#ifndef KERN_ia32_EGA_H_
+#define KERN_ia32_EGA_H_
 
 #define VIDEORAM	0xb8000
@@ -45,5 +45,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/include/drivers/i8042.h
===================================================================
--- kernel/arch/ia32/include/drivers/i8042.h	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/arch/ia32/include/drivers/i8042.h	(revision f1d1f5d3d65116db3fe2744bb3cf38c85e99f14c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -37,6 +37,6 @@
  */
 
-#ifndef __ia32_I8042_H__
-#define __ia32_I8042_H__
+#ifndef KERN_ia32_I8042_H_
+#define KERN_ia32_I8042_H_
 
 #include <arch/asm.h>
@@ -68,5 +68,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/include/drivers/i8254.h
===================================================================
--- kernel/arch/ia32/include/drivers/i8254.h	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/arch/ia32/include/drivers/i8254.h	(revision f1d1f5d3d65116db3fe2744bb3cf38c85e99f14c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __I8254_H__
-#define __I8254_H__
+#ifndef KERN_ia32_I8254_H_
+#define KERN_ia32_I8254_H_
 
 #include <arch/types.h>
@@ -44,5 +44,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/include/drivers/i8259.h
===================================================================
--- kernel/arch/ia32/include/drivers/i8259.h	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/arch/ia32/include/drivers/i8259.h	(revision f1d1f5d3d65116db3fe2744bb3cf38c85e99f14c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __I8259_H__
-#define __I8259_H__
+#ifndef KERN_ia32_I8259_H_
+#define KERN_ia32_I8259_H_
 
 #include <arch/types.h>
@@ -54,5 +54,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/include/drivers/vesa.h
===================================================================
--- kernel/arch/ia32/include/drivers/vesa.h	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/arch/ia32/include/drivers/vesa.h	(revision f1d1f5d3d65116db3fe2744bb3cf38c85e99f14c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __VESA_H__
-#define __VESA_H__
+#ifndef KERN_ia32_VESA_H_
+#define KERN_ia32_VESA_H_
 
 extern int vesa_present(void);
@@ -41,5 +41,4 @@
 #endif
 
- /** @}
+/** @}
  */
-