diff --git a/os/common/ports/e200/compilers/GCC/ivor.S b/os/common/ports/e200/compilers/GCC/ivor.S
index f498cff77..7ad2a43c1 100644
--- a/os/common/ports/e200/compilers/GCC/ivor.S
+++ b/os/common/ports/e200/compilers/GCC/ivor.S
@@ -214,7 +214,7 @@ _ivor_exit:
         e_bl        _dbg_check_lock
 #endif
         e_bl        chSchIsPreemptionRequired
-        se_cmpl     r3, 0
+        se_cmpi     r3, 0
         se_beq      .noresch
         e_bl        chSchDoReschedule
 .noresch:
diff --git a/os/common/startup/e200/devices/SPC56ECxx/boot.S b/os/common/startup/e200/devices/SPC56ECxx/boot.S
index c47300a44..fc8c663dc 100644
--- a/os/common/startup/e200/devices/SPC56ECxx/boot.S
+++ b/os/common/startup/e200/devices/SPC56ECxx/boot.S
@@ -26,6 +26,7 @@
 
 #if defined(__HIGHTEC__)
 #define se_bge bge
+#define se_bne bne
 #endif
 
 #if !defined(__DOXYGEN__)