From a4c3e717a55733c2dba08acae8435f4fdc8ec31f Mon Sep 17 00:00:00 2001
From: Sebastian Huber <sebastian.huber@embedded-brains.de>
Date: Mon, 26 Aug 2013 17:38:15 +0200
Subject: [PATCH] score: Add SMP support to _Watchdog_Report_chain()

---
 cpukit/score/src/watchdogreportchain.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/cpukit/score/src/watchdogreportchain.c b/cpukit/score/src/watchdogreportchain.c
index b490f79b95..0f6da0b79c 100644
--- a/cpukit/score/src/watchdogreportchain.c
+++ b/cpukit/score/src/watchdogreportchain.c
@@ -17,9 +17,9 @@
 #include "config.h"
 #endif
 
-#include <rtems/system.h>
 #include <rtems/score/watchdogimpl.h>
 #include <rtems/score/isr.h>
+#include <rtems/score/threaddispatch.h>
 #include <rtems/bspIo.h>
 
 void _Watchdog_Report_chain(
@@ -30,6 +30,7 @@ void _Watchdog_Report_chain(
   ISR_Level          level;
   Chain_Node        *node;
 
+  _Thread_Disable_dispatch();
   _ISR_Disable( level );
     printk( "Watchdog Chain: %s %p\n", name, header );
     if ( !_Chain_Is_empty( header ) ) {
@@ -46,4 +47,5 @@ void _Watchdog_Report_chain(
       printk( "Chain is empty\n" );
     }
   _ISR_Enable( level );
+  _Thread_Enable_dispatch();
 }