From e3f10b5ce2ab14e3f577ad359ca665c98307d56f Mon Sep 17 00:00:00 2001
From: Adrian-Ken Rueegsegger <ken@codelabs.ch>
Date: Tue, 17 Feb 2015 17:17:34 +0100
Subject: [PATCH] hw_x86_64: Reserve space for mode transition buffer

Since the buffer stores an IA-32e interrupt stack frame, its size must
be 6 * 8 bytes.
---
 repos/base-hw/src/core/spec/x86_64/mode_transition.s | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/repos/base-hw/src/core/spec/x86_64/mode_transition.s b/repos/base-hw/src/core/spec/x86_64/mode_transition.s
index 78ca7d409..b78f5b222 100644
--- a/repos/base-hw/src/core/spec/x86_64/mode_transition.s
+++ b/repos/base-hw/src/core/spec/x86_64/mode_transition.s
@@ -17,6 +17,9 @@
 /* size of pointer to CPU context */
 .set CONTEXT_PTR_SIZE, 1 * 8
 
+/* globally mapped buffer storage */
+.set BUFFER_SIZE, 6 * 8
+
 .section .text
 
 	/*
@@ -53,6 +56,7 @@
 	.p2align 2
 	.global _mt_buffer
 	_mt_buffer:
+	.space BUFFER_SIZE
 
 	/*
 	 * On user exceptions the CPU has to jump to one of the following