From 5cd2f6ee0b3f7fc4572f34faa7cc157e5a76dcec Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Wed, 16 Oct 2013 12:30:10 +0200
Subject: [PATCH] hw: make Kernel::mtc() global

ref #874
---
 base-hw/src/core/kernel.cc   | 2 +-
 base-hw/src/core/kernel/pd.h | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/base-hw/src/core/kernel.cc b/base-hw/src/core/kernel.cc
index 767c786eb..702e15367 100644
--- a/base-hw/src/core/kernel.cc
+++ b/base-hw/src/core/kernel.cc
@@ -917,7 +917,7 @@ extern "C" void kernel()
 	cpu_scheduler()->head()->proceed();
 }
 
-static Kernel::Mode_transition_control * Kernel::mtc()
+Kernel::Mode_transition_control * Kernel::mtc()
 {
 	/* compose CPU context for kernel entry */
 	struct Kernel_context : Cpu::Context
diff --git a/base-hw/src/core/kernel/pd.h b/base-hw/src/core/kernel/pd.h
index 54074f1e9..5a83d9745 100644
--- a/base-hw/src/core/kernel/pd.h
+++ b/base-hw/src/core/kernel/pd.h
@@ -47,7 +47,7 @@ namespace Kernel
 	/**
 	 * Return the system wide mode-transition control
 	 */
-	static Mode_transition_control * mtc();
+	Mode_transition_control * mtc();
 
 	/**
 	 * Kernel backend of protection domains