Update

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

diff --git a/kernel/fiasco/src/kern/ia32/64/entry-native.S b/kernel/fiasco/src/kern/ia32/64/entry-native.S
index 52b1ea8d09db8799d5175d6c02771786c9ab52b1..a989c86c8d19692b0c673bdb7bbc809cd7e14da9 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/64/entry-native.S
+++ b/kernel/fiasco/src/kern/ia32/64/entry-native.S
@@ -127,7 +127,7 @@ entry_sys_fast_ipc_log:
        sub     $16, %rsp
        SAVE_STATE_SYSEXIT
        ESP_TO_TCB_AT %rbx
-       testl   $Thread_alien_or_vcpu_user, OFS__THREAD__STATE (%rbx)
+       testl   $VAL__Thread_alien_or_vcpu_user, OFS__THREAD__STATE (%rbx)
        jnz     alien_sys_fast_ipc_log
        RESET_THREAD_CANCEL_AT %rbx
 
@@ -161,7 +161,7 @@ entry_sys_fast_ipc_c:
        sub     $16, %rsp
        SAVE_STATE_SYSEXIT
        ESP_TO_TCB_AT %rbx
-       testl   $Thread_alien_or_vcpu_user, OFS__THREAD__STATE (%rbx)
+       testl   $VAL__Thread_alien_or_vcpu_user, OFS__THREAD__STATE (%rbx)
        jnz     alien_sys_fast_ipc_c
        RESET_THREAD_CANCEL_AT %rbx