Update

[l4.git] / kernel / fiasco / src / kern / ia32 / asm.h

diff --git a/kernel/fiasco/src/kern/ia32/asm.h b/kernel/fiasco/src/kern/ia32/asm.h
index 862174c56620d0db93fa86b4440fc55436f92ff0..b17e86f49bdd3c248fd48328c5f37a0e4220b739 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/asm.h
+++ b/kernel/fiasco/src/kern/ia32/asm.h
@@ -44,8 +44,8 @@
        // check for the right thread state
        // (cancel and fpu_owner might also be set)
        movl    OFS__THREAD__STATE(%ebx), %edx
-       andl    $~(Thread_cancel | Thread_fpu_owner | Thread_alien_or_vcpu_user | Thread_dis_alien), %edx
-       cmpl    $(Thread_ready), %edx
+       andl    $~(VAL__Thread_cancel | VAL__Thread_fpu_owner | VAL__Thread_alien_or_vcpu_user | VAL__Thread_dis_alien | VAL__Thread_vcpu_state_mask), %edx
+       cmpl    $(VAL__Thread_ready), %edx
        jne     1f
        .text   1
 1:     kdb_ke_asm("Before IRET: Wrong thread state")