Index: kernel/generic/include/time/clock.h
===================================================================
--- kernel/generic/include/time/clock.h	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/generic/include/time/clock.h	(revision 19dba2bf660c4ef2d48df50eeba33d3ca9a7508a)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __CLOCK_H__
-#define __CLOCK_H__
+#ifndef KERN_CLOCK_H_
+#define KERN_CLOCK_H_
 
 #define HZ		100
Index: kernel/generic/include/time/delay.h
===================================================================
--- kernel/generic/include/time/delay.h	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/generic/include/time/delay.h	(revision 19dba2bf660c4ef2d48df50eeba33d3ca9a7508a)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __DELAY_H__
-#define __DELAY_H__
+#ifndef KERN_DELAY_H_
+#define KERN_DELAY_H_
 
 #include <arch/types.h>
Index: kernel/generic/include/time/timeout.h
===================================================================
--- kernel/generic/include/time/timeout.h	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/generic/include/time/timeout.h	(revision 19dba2bf660c4ef2d48df50eeba33d3ca9a7508a)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __TIMEOUT_H__
-#define __TIMEOUT_H__
+#ifndef KERN_TIMEOUT_H_
+#define KERN_TIMEOUT_H_
 
 #include <arch/types.h>