Workaround invalid SBE use of IPI inject register

Change-Id: I40600399daf2ef563b534bd91143a4f45d00ff79
CQ: SW248610
Reviewed-on: http://gfw160.aus.stglabs.ibm.com:8080/gerrit/9273
Tested-by: Jenkins Server
Reviewed-by: Douglas R. Gilbert <dgilbert@us.ibm.com>
Reviewed-by: A. Patrick Williams III <iawillia@us.ibm.com>

1 files changed, 6 insertions, 0 deletions

diff --git a/src/include/kernel/intmsghandler.H b/src/include/kernel/intmsghandler.H
index 02f681bd0..dad8c4325 100644
--- a/src/include/kernel/intmsghandler.H
+++ b/src/include/kernel/intmsghandler.H
@@ -149,6 +149,12 @@ class InterruptMsgHdlr : public MessageHandler
          */
         static void sendIPI(uint64_t i_pir, uint8_t i_favor = 0x1);
 
+        /**
+         * Issue the sbe/mailbox workaround (issue a mbox EOI to mailbox)
+         *
+         */
+        static void issueSbeMboxWA();
+
     private:
 
         static InterruptMsgHdlr * cv_instance;