update

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

diff --git a/kernel/fiasco/src/kern/ia32/32/entry.S b/kernel/fiasco/src/kern/ia32/32/entry.S
index 8948a31b1426bd974fc74936cf3f622532802c0e..687f06e4207aa40ae777673b220abd5513a33f8a 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/32/entry.S
+++ b/kernel/fiasco/src/kern/ia32/32/entry.S
@@ -697,6 +697,7 @@ leave_by_vcpu_upcall:
        mov %edx, 12(%esp)
        mov -VAL__SIZEOF_TRAP_STATE + 20 + OFS__VCPU_STATE__ENTRY_IP(%ecx), %edx
        mov %edx, 0(%esp)
+       movl $EFLAGS_IF, 8(%esp)
        iret
        
        .p2align