Index: kernel/generic/src/proc/the.c
===================================================================
--- kernel/generic/src/proc/the.c	(revision e3ee9b996fb2779383344347bf7f08c9b77e82f7)
+++ kernel/generic/src/proc/the.c	(revision 62bb73e0e1ca128b403d64d051cdc90441629f5a)
@@ -49,4 +49,5 @@
  *
  * @param the THE structure to be initialized.
+ *
  */
 void the_initialize(the_t *the)
@@ -65,6 +66,7 @@
  * @param src The source THE structure.
  * @param dst The destination THE structure.
+ *
  */
-void the_copy(the_t *src, the_t *dst)
+NO_TRACE void the_copy(the_t *src, the_t *dst)
 {
 	*dst = *src;