Index: kernel/arch/ia64/include/proc/thread.h
===================================================================
--- kernel/arch/ia64/include/proc/thread.h	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/arch/ia64/include/proc/thread.h	(revision fd85ae5abc5c68f0bee0c60348199e1957e5c3bc)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64proc
+/** @addtogroup ia64proc
  * @{
  */
@@ -33,15 +33,16 @@
  */
 
-#ifndef __ia64_THREAD_H__
-#define __ia64_THREAD_H__
+#ifndef KERN_ia64_THREAD_H_
+#define KERN_ia64_THREAD_H_
 
 typedef struct {
 } thread_arch_t;
 
+#define thr_constructor_arch(t)
+#define thr_destructor_arch(t)
 #define thread_create_arch(t)
 
 #endif
 
- /** @}
+/** @}
  */
-