From a092ad2fdde1ff34e03d4aa5adf535235d915820 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 43bb1613..76e4edae 100644
--- a/kernel/fiasco/src/kern/ia32/64/entry.S
+++ b/kernel/fiasco/src/kern/ia32/64/entry.S
@@ -441,6 +441,7 @@ alien_sys_call:
 	.p2align
 	.globl	leave_by_trigger_exception
 leave_by_trigger_exception:
+	cli
         sub $40, %rsp
 	pushq	$0x00
 	pushq	$0xff