commit 1ee9dedcceb6dbf081b97b08131f3720f4c2ee6c
author Jerzy Kasenberg <jerzy@apache.org> Sun Aug 01 00:19:08 2021 +0200
committer kasjer <kasjer@users.noreply.github.com> Thu Aug 19 09:38:21 2021 +0200
tree a7a58009eb6103b946f800143f11c59a484c1c30
parent 4a4b0d614a9949b578ad2affdce5c24ecf209b72

pic32: Stop COUNTER when debugger stops

COUNTER used for tick timer now stops when execution
is stopped by debugger.

kernel/os/src/arch/pic32/os_arch_pic32.c

diff --git a/kernel/os/src/arch/pic32/os_arch_pic32.c b/kernel/os/src/arch/pic32/os_arch_pic32.c
index 4e371c1..f4247b3 100644
--- a/kernel/os/src/arch/pic32/os_arch_pic32.c
+++ b/kernel/os/src/arch/pic32/os_arch_pic32.c
@@ -194,6 +194,9 @@
         /* vector spacing 0x20  */
         _CP0_SET_INTCTL(_CP0_GET_INTCTL() | (1 << _CP0_INTCTL_VS_POSITION));
 
+        /* Stop core timer while debugger stops */
+        _CP0_BIC_DEBUG(_CP0_DEBUG_COUNTDM_MASK);
+
         /* enable core timer interrupt */
         IEC0SET = _IEC0_CTIE_MASK;
         /* set interrupt priority */