patmos: add labels to identify context switch

app/benchmark/timing/copter.cc

@@ -144,13 +144,11 @@ TASK(CopterControlWatchdogTask) {
 void PreIdleHook() {
     static int count = 0;
     kout << "---\n";
+    timing_print();
     if (++count > 5) {
-        if (timing_print() > 0) {
-            ShutdownMachine();
-        }
     }
 
-    if (count == 50) {
+    if (count == 100) {
         timing_dump();
     }
 }

arch/patmos/tcb.cc

@@ -59,6 +59,9 @@ void context_load(const TCB *to) {
  	"nop"
         : : "r"(to->dynamic_context)
     );
+switch_context_load:
+    (void) && switch_context_load;
+
 }
 
 
@@ -126,6 +129,9 @@ void context_save_and_load(const TCB * from, const TCB *to) {
 	"nop"
         : : "r" (from->dynamic_context), "r"(to->dynamic_context)
     );
+switch_context_save_and_load:
+    (void) && switch_context_save_and_load;
+
 }
 
 void arch::TCB::context_switch(const TCB *from, const TCB* to) {