Index: kernel/arch/ia32/include/proc/task.h
===================================================================
--- kernel/arch/ia32/include/proc/task.h	(revision 8b4be29e60da1d7e6355cb2b0bf8ae7e3c561965)
+++ kernel/arch/ia32/include/proc/task.h	(revision beb3926abd13d8632e1c3093c0d2bef995372dee)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32proc
+/** @addtogroup ia32proc
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia32_TASK_H__
-#define __ia32_TASK_H__
+#ifndef KERN_ia32_TASK_H_
+#define KERN_ia32_TASK_H_
 
 #include <typedefs.h>
@@ -47,5 +47,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/include/proc/thread.h
===================================================================
--- kernel/arch/ia32/include/proc/thread.h	(revision 8b4be29e60da1d7e6355cb2b0bf8ae7e3c561965)
+++ kernel/arch/ia32/include/proc/thread.h	(revision beb3926abd13d8632e1c3093c0d2bef995372dee)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32proc
+/** @addtogroup ia32proc
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia32_THREAD_H__
-#define __ia32_THREAD_H__
+#ifndef KERN_ia32_THREAD_H_
+#define KERN_ia32_THREAD_H_
 
 #include <arch/types.h>
@@ -42,7 +42,9 @@
 } thread_arch_t;
 
+#define thr_constructor_arch(t)
+#define thr_destructor_arch(t)
+
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/src/proc/scheduler.c
===================================================================
--- kernel/arch/ia32/src/proc/scheduler.c	(revision 8b4be29e60da1d7e6355cb2b0bf8ae7e3c561965)
+++ kernel/arch/ia32/src/proc/scheduler.c	(revision beb3926abd13d8632e1c3093c0d2bef995372dee)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32proc
+/** @addtogroup ia32proc
  * @{
  */
@@ -78,5 +78,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/src/proc/task.c
===================================================================
--- kernel/arch/ia32/src/proc/task.c	(revision 8b4be29e60da1d7e6355cb2b0bf8ae7e3c561965)
+++ kernel/arch/ia32/src/proc/task.c	(revision beb3926abd13d8632e1c3093c0d2bef995372dee)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32proc
+/** @addtogroup ia32proc
  * @{
  */
@@ -58,5 +58,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/src/proc/thread.c
===================================================================
--- kernel/arch/ia32/src/proc/thread.c	(revision 8b4be29e60da1d7e6355cb2b0bf8ae7e3c561965)
+++ kernel/arch/ia32/src/proc/thread.c	(revision beb3926abd13d8632e1c3093c0d2bef995372dee)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32proc
+/** @addtogroup ia32proc
  * @{
  */
@@ -44,5 +44,5 @@
 }
 
- /** @}
+/** @}
  */