From 49afe683a0827a9b29c7e2e761f6740b67543056 Mon Sep 17 00:00:00 2001
From: Stephane D'Alu <sdalu@sdalu.com>
Date: Sun, 10 Jul 2016 14:10:58 +0200
Subject: assert that watchdog can't be restarted

---
 os/hal/ports/NRF5/LLD/hal_wdg_lld.c | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'os/hal/ports')

diff --git a/os/hal/ports/NRF5/LLD/hal_wdg_lld.c b/os/hal/ports/NRF5/LLD/hal_wdg_lld.c
index 30d31af..35c079f 100644
--- a/os/hal/ports/NRF5/LLD/hal_wdg_lld.c
+++ b/os/hal/ports/NRF5/LLD/hal_wdg_lld.c
@@ -101,6 +101,10 @@ void wdg_lld_init(void) {
  * @notapi
  */
 void wdg_lld_start(WDGDriver *wdgp) {
+  osalDbgAssert((wdgp->state == WDG_STOP),
+		"This WDG driver cannot be restarted once activated");
+
+  /* Generate interrupt on timeout */
 #if WDG_USE_TIMEOUT_CALLBACK == TRUE
   wdgp->wdt->INTENSET = WDT_INTENSET_TIMEOUT_Msk;
 #endif
@@ -134,7 +138,7 @@ void wdg_lld_start(WDGDriver *wdgp) {
  */
 void wdg_lld_stop(WDGDriver *wdgp) {
   (void)wdgp;
-  osalDbgAssert(false, "WDG cannot be stopped once activated");
+  osalDbgAssert(false, "This WDG driver cannot be stopped once activated");
 }
 
 /**
-- 
cgit v1.2.3