Index: kernel/genarch/include/acpi/acpi.h
===================================================================
--- kernel/genarch/include/acpi/acpi.h	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/genarch/include/acpi/acpi.h	(revision 6ff1f1e849d8a798e3ed34a6dcdd58b2f25b0055)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genarch	
+/** @addtogroup genarch	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ACPI_H__
-#define __ACPI_H__
+#ifndef KERN_ACPI_H_
+#define KERN_ACPI_H_
 
 #include <arch/types.h>
@@ -89,7 +89,6 @@
 extern int acpi_sdt_check(uint8_t *sdt);
 
-#endif /* __ACPI_H__ */
+#endif /* KERN_ACPI_H_ */
 
- /** @}
+/** @}
  */
-
Index: kernel/genarch/include/acpi/madt.h
===================================================================
--- kernel/genarch/include/acpi/madt.h	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/genarch/include/acpi/madt.h	(revision 6ff1f1e849d8a798e3ed34a6dcdd58b2f25b0055)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genarch	
+/** @addtogroup genarch	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __MADT_H__
-#define __MADT_H__
+#ifndef KERN_MADT_H_
+#define KERN_MADT_H_
 
 #include <genarch/acpi/acpi.h>
@@ -144,7 +144,6 @@
 extern void acpi_madt_parse(void);
 
-#endif /* __MADT_H__ */
+#endif /* KERN_MADT_H_ */
 
- /** @}
+/** @}
  */
-