From ecfb954eb994d7a8deec83e947ac28749e0b7729 Mon Sep 17 00:00:00 2001 From: Adrian-Ken Rueegsegger Date: Fri, 20 Feb 2015 16:12:24 +0100 Subject: [PATCH] hw_x86_64: Restore kernel stack pointer --- repos/base-hw/src/core/spec/x86_64/mode_transition.s | 2 ++ 1 file changed, 2 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 50453b21f..f467032af 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 @@ -133,6 +133,8 @@ popq %rsi popq %rbp + /* Restore kernel stack and continue kernel execution */ + mov _mt_master_context_begin+SP_OFFSET, %rsp 1: jmp 1b .global _mt_user_entry_pic