update

[l4.git] / kernel / fiasco / src / kern / ia32 / 64 / entry.S

diff --git a/kernel/fiasco/src/kern/ia32/64/entry.S b/kernel/fiasco/src/kern/ia32/64/entry.S
index b8c4ae104cbca476b645aca6027db723bdff630c..ec4a19696fe81b1c22f5f2cdd50c326fc3947ccb 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/64/entry.S
+++ b/kernel/fiasco/src/kern/ia32/64/entry.S
@@ -490,6 +490,7 @@ leave_by_vcpu_upcall:
        mov %rax, 24(%rsp)
        mov -VAL__SIZEOF_TRAP_STATE + 40 + OFS__VCPU_STATE__ENTRY_IP(%rcx), %rax
        mov %rax, 0(%rsp)
+       movq $EFLAGS_IF, 16(%rsp)
        iretq
 
        .p2align