diff --git a/core/SAL/ovp/Controller.cc b/core/SAL/ovp/Controller.cc
index d3a084eb..0325a42a 100644
--- a/core/SAL/ovp/Controller.cc
+++ b/core/SAL/ovp/Controller.cc
@@ -122,14 +122,4 @@ void OVPController::reboot()
 	//bx_gui_c::reset_handler();//TODO: leider protected, so geht das also nicht...
 }
 
-void OVPController::toPreviousCtx()
-{
-	// TODO
-}
-
-
-void OVPController::fireTimer(uint32_t){
-
-};
-
 };
diff --git a/core/SAL/ovp/OVPController.hpp b/core/SAL/ovp/OVPController.hpp
index d0d77009..38c30607 100644
--- a/core/SAL/ovp/OVPController.hpp
+++ b/core/SAL/ovp/OVPController.hpp
@@ -56,18 +56,11 @@ class OVPController : public SimulatorController
 		 * Reboot simulator.
 		 */
 		virtual void reboot();
-		/**
-		 * Handles the control back to the previous coroutine which
-		 * triggered the reboot. Need not to be called explicitly.
-		 */
-		void toPreviousCtx();
 		/**
 		 * Returns the current instruction pointer.
 		 * @return the current eip
 		 */
 
-		 virtual void fireTimer(uint32_t);		 
-
 		 void makeGPRegister(int, void*, const string&);
 		 void makeSTRegister(Register *, const string&);
 		 void makePCRegister(int, void*, const string&);