Add doorbell support.

Change-Id: I4c5ef96c4793f6da26d54d1d61a51f6395e6b34b
Backport: master-p8
Reviewed-on: http://ralgit01.raleigh.ibm.com/gerrit1/930
Tested-by: Jenkins Server
Reviewed-by: Daniel M. Crowell <dcrowell@us.ibm.com>
Reviewed-by: William G. Hoffa <wghoffa@us.ibm.com>
Tested-by: FSP CI Jenkins
Reviewed-by: Matthew A. Ploetz <maploetz@us.ibm.com>

1 files changed, 5 insertions, 1 deletions

diff --git a/src/kernel/timemgr.C b/src/kernel/timemgr.C
index a1984e661..e5759a61b 100644
--- a/src/kernel/timemgr.C
+++ b/src/kernel/timemgr.C
@@ -5,7 +5,9 @@
 /*                                                                        */
 /* OpenPOWER HostBoot Project                                             */
 /*                                                                        */
-/* COPYRIGHT International Business Machines Corp. 2010,2014              */
+/* Contributors Listed Below - COPYRIGHT 2010,2016                        */
+/* [+] International Business Machines Corp.                              */
+/*                                                                        */
 /*                                                                        */
 /* Licensed under the Apache License, Version 2.0 (the "License");        */
 /* you may not use this file except in compliance with the License.       */
@@ -28,6 +30,7 @@
 #include <util/misc.H>
 #include <kernel/misc.H>
 #include <sys/task.h>
+#include <kernel/doorbell.H>
 
 uint64_t TimeManager::iv_timebaseFreq = 0xFFFFFFFF;
 
@@ -107,6 +110,7 @@ void TimeManager::_checkReleaseTasks(Scheduler* s)
     {
         s->addTask(node->task);
         delete node;
+        doorbell_broadcast();
     }
 }