update

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

diff --git a/kernel/fiasco/src/kern/ia32/shortcut.h b/kernel/fiasco/src/kern/ia32/shortcut.h
index a66e825dce4c092a578e89112ebae90a0f7cb958..4eaff71ad315e7d86cb0e63f1ee4cab8a7a796f5 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/shortcut.h
+++ b/kernel/fiasco/src/kern/ia32/shortcut.h
@@ -16,7 +16,7 @@
 #define Thread_delayed_deadline                0x2000
 #define Thread_delayed_ipc             0x4000
 #define Thread_fpu_owner               0x8000
-#define Thread_alien                   0x10000
+#define Thread_alien_or_vcpu_user      0x810000
 #define Thread_dis_alien               0x20000
 #define Thread_transfer_in_progress     0x80000