From 69e820e4e3d8cf1b75f605bcc1c56b5e7f99ab47 Mon Sep 17 00:00:00 2001
From: Reto Buerki <reet@codelabs.ch>
Date: Fri, 27 Feb 2015 10:43:45 +0100
Subject: [PATCH] hw_x86_64: Reload GDTR in Genode::Cpu::init_thread

The GDT reload must happen after the page tables mapping the mtc region
is active, that's why it cannot be done in the Genode::Cpu ctor.
---
 repos/base-hw/src/core/include/spec/x86/cpu.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/repos/base-hw/src/core/include/spec/x86/cpu.h b/repos/base-hw/src/core/include/spec/x86/cpu.h
index 9e9d5ed80..cf78ff0bf 100644
--- a/repos/base-hw/src/core/include/spec/x86/cpu.h
+++ b/repos/base-hw/src/core/include/spec/x86/cpu.h
@@ -18,6 +18,7 @@
 #include <unmanaged_singleton.h>
 #include <kernel/interface_support.h>
 #include <cpu/cpu_state.h>
+#include <gdt.h>
 #include <idt.h>
 #include <tss.h>
 
@@ -160,6 +161,8 @@ class Genode::Cpu
 			{
 				protection_domain(pd_id);
 				translation_table(table);
+
+				Gdt::load(Cpu::exception_entry);
 			}
 		};