#include "proc_p.h"
#include "proc.h"
-//#include "hw.h"
-#include <mware/event.h>
+
+#include "cfg/cfg_arch.h" /* ARCH_EMUL */
+#include <cfg/debug.h>
+#include <cfg/module.h>
+#include <cfg/macros.h> /* ABS() */
+
#include <cpu/irq.h>
#include <cpu/types.h>
#include <cpu/attr.h>
-#include <cfg/debug.h>
-#include <cfg/module.h>
-#include <cfg/arch_config.h> /* ARCH_EMUL */
-#include <cfg/macros.h> /* ABS() */
-#include <string.h> /* memset() */
+#include <mware/event.h>
+
+#include <string.h> /* memset() */
/**
* CPU dependent context switching routines.
* are idle-spinning, we must allow interrupts, otherwise no
* process will ever wake up.
*
- * During idle-spinning, can occur an interrupt, it may be able to
+ * During idle-spinning, an interrupt can occur and it may
* modify \p ProcReadyList. To ensure that compiler reload this
* variable every while cycle we call CPU_MEMORY_BARRIER.
* The memory barrier ensure that all variables used in this context