Ticket #1407: isrthreaddispatch.patch

new file cpukit/score/src/isrthreaddispatch.c

@@ +1 @@
+/**
+ * @file
+ *
+ * @brief Thread dispatch from interrupt context.
+ */
+
+/*
+ * Copyright (c) 2009 embedded brains GmbH
+ *
+ * embedded brains GmbH
+ * Obere Lagerstr. 30
+ * D-82178 Puchheim
+ * Germany
+ * <rtems@embedded-brains.de>
+ *
+ * Copyright (c) 2009 Till Straumann <strauman@slac.stanford.edu>
+ *
+ * The license and distribution terms for this file may be
+ * found in the file LICENSE in this distribution or at
+ * http://www.rtems.com/license/LICENSE.
+ */
+
+#include <rtems.h>
+#include <rtems/score/apiext.h>
+
+void _ISR_Thread_dispatch( void )
+{
+  if (_Context_Switch_necessary) {
+    _Thread_Dispatch();
+  } else if (_ISR_Signals_to_thread_executing) {
+    _ISR_Signals_to_thread_executing = false;
+    if (
+      _Thread_Do_post_task_switch_extension
+        || _Thread_Executing->do_post_task_switch_extension
+    ) {
+      _Thread_Executing->do_post_task_switch_extension = false;
+      _API_extensions_Run_postswitch();
+    }
+  }
+}

cpukit/score/include/rtems/score/isr.h

@@ -196 +196 @@
 void _ISR_Dispatch( void );
 
 /**
+ *  Invokes the thread dispatcher or signal handler if necessary.
+ *
+ *  It should be called at the end of interrupt processing.  The thread
+ *  dispatch disable level and the interrupt nest level must be zero before
+ *  calling this routine. 
+ *
+ *  This is a high level replacement of _ISR_Dispatch().  It must be invoked
+ *  within an environment such that a call to _Thread_Dispatch() is allowed.
+ */
+void _ISR_Thread_dispatch( void );
+
+/**
  *  This function returns true if the processor is currently servicing
  *  and interrupt and false otherwise.   A return value of true indicates
  *  that the caller is an interrupt service routine, NOT a thread.  The