From 8f1c8298f3b9a971ba2fb661058c2f892ae2bf77 Mon Sep 17 00:00:00 2001
From: Francois Berder <18538310+francois-berder@users.noreply.github.com>
Date: Fri, 10 Jan 2020 21:52:55 +0000
Subject: [PATCH] cpu: mips_pic32_common: Use mips32r2_isr_end in timer
 interrupt handler

Signed-off-by: Francois Berder <18538310+francois-berder@users.noreply.github.com>
---
 cpu/mips_pic32_common/periph/timer.c | 15 +++------------
 1 file changed, 3 insertions(+), 12 deletions(-)

diff --git a/cpu/mips_pic32_common/periph/timer.c b/cpu/mips_pic32_common/periph/timer.c
index 818793478b..5b9bd40762 100644
--- a/cpu/mips_pic32_common/periph/timer.c
+++ b/cpu/mips_pic32_common/periph/timer.c
@@ -87,24 +87,15 @@ static void timer_isr(void)
          */
         counter += TIMER_ACCURACY;
         timer_isr_ctx.cb(timer_isr_ctx.arg, 0);
-
-        if (sched_context_switch_request) {
-            thread_yield();
-        }
+        mips32r2_isr_end();
     }
     if (counter == compares[1]) {
         timer_isr_ctx.cb(timer_isr_ctx.arg, 1);
-
-        if (sched_context_switch_request) {
-            thread_yield();
-        }
+        mips32r2_isr_end();
     }
     if (counter == compares[2]) {
         timer_isr_ctx.cb(timer_isr_ctx.arg, 2);
-
-        if (sched_context_switch_request) {
-            thread_yield();
-        }
+        mips32r2_isr_end();
     }
 
     mips_setcompare(mips_getcount() + TICKS_PER_US * TIMER_ACCURACY);