#include "cfg/cfg_proc.h"
#include "cfg/cfg_wdt.h"
+#include <cfg/compiler.h>
+
#if CONFIG_KERN
#include <kern/proc.h>
#endif
*/
INLINE void cpu_relax(void)
{
+ MEMORY_BARRIER;
#if CONFIG_KERN
- proc_yield();
+ if (proc_preemptAllowed())
+ proc_yield();
#endif
#if CONFIG_WATCHDOG