From ababa48fd78350f155386ea0a23201073d8ac93c Mon Sep 17 00:00:00 2001
From: hsc <hsc@8c4709b5-6ec9-48aa-a5cd-a96041d1645a>
Date: Tue, 3 Jul 2012 13:26:58 +0000
Subject: [PATCH] reboot (and interrupt injection?) are also async_events

git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1411 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
---
 src/core/sal/bochs/BochsController.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/core/sal/bochs/BochsController.cc b/src/core/sal/bochs/BochsController.cc
index 91fe7174..cd62a75d 100644
--- a/src/core/sal/bochs/BochsController.cc
+++ b/src/core/sal/bochs/BochsController.cc
@@ -183,6 +183,7 @@ void BochsController::reboot()
 {
 	clearEvents();
 	reboot_bochs_request = true;
+	BX_CPU(0)->async_event |= 1;
 	m_CurrFlow = m_Flows.getCurrent();
 	m_Flows.resume();
 }
@@ -197,6 +198,7 @@ void BochsController::fireInterrupt(unsigned irq)
 {
 	interrupt_injection_request = true;
 	interrupt_to_fire = irq;
+	// FIXME needed?  BX_CPU(0)->async_event |= 1;
 	m_CurrFlow = m_Flows.getCurrent();
 	m_Flows.resume();
 }