From 1acdeeb38185afb3ec19d2c15c458d5bc0fe4d4c Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Tue, 24 Feb 2015 15:51:21 +0100
Subject: [PATCH] FOC: cli in context of leave_by_trigger_exception

Bug triggering on 64bit. Without the cli (as used on 32bit) the assertion
in kernel/fiasco/src/kern/thread-ipc.cpp:739 triggers.
---
 kernel/fiasco/src/kern/ia32/64/entry.S | 1 +
 1 file changed, 1 insertion(+)

diff --git a/kernel/fiasco/src/kern/ia32/64/entry.S b/kernel/fiasco/src/kern/ia32/64/entry.S
index 4a009037..33096843 100644
--- a/kernel/fiasco/src/kern/ia32/64/entry.S
+++ b/kernel/fiasco/src/kern/ia32/64/entry.S
@@ -414,6 +414,7 @@ GATE_INITTAB_END
 	.p2align
 	.globl	leave_by_trigger_exception
 leave_by_trigger_exception:
+	cli
         sub $40, %rsp
 	pushq	$0x00
 	pushq	$0xff