Update

[l4.git] / kernel / fiasco / src / kern / ux / low_level.h

diff --git a/kernel/fiasco/src/kern/ux/low_level.h b/kernel/fiasco/src/kern/ux/low_level.h
index 5e479799209be537e11264ef582aa019db47bf77..1dbcb203c9dd321864dc2ce0bbb645835fd90a0b 100644 (file)
--- a/kernel/fiasco/src/kern/ux/low_level.h
+++ b/kernel/fiasco/src/kern/ux/low_level.h
@@ -50,11 +50,11 @@
        .endm
 
        .macro  RESET_THREAD_CANCEL_AT reg
-       andl    $~Thread_cancel, OFS__THREAD__STATE (\reg)
+       andl    $~VAL__Thread_cancel, OFS__THREAD__STATE (\reg)
        .endm
 
        .macro  RESET_THREAD_IPC_MASK_AT reg
-       andl    $~Thread_ipc_mask, OFS__THREAD__STATE (\reg)
+       andl    $~VAL__Thread_ipc_mask, OFS__THREAD__STATE (\reg)
        .endm
 
        .macro  ESP_TO_TCB_AT reg