update

[l4.git] / l4 / pkg / l4sys / include / ARCH-amd64 / utcb.h

diff --git a/l4/pkg/l4sys/include/ARCH-amd64/utcb.h b/l4/pkg/l4sys/include/ARCH-amd64/utcb.h
index e06cafb9c5a8f2bbe002496777d3c69bc5d74d67..23460e2d823313c49afff43768d1be1dad5ccced 100644 (file)
--- a/l4/pkg/l4sys/include/ARCH-amd64/utcb.h
+++ b/l4/pkg/l4sys/include/ARCH-amd64/utcb.h
@@ -93,7 +93,7 @@ typedef struct l4_exc_regs_t
 L4_INLINE l4_utcb_t *l4_utcb_direct(void) L4_NOTHROW
 {
   l4_utcb_t *res;
-  __asm__ __volatile__ ( "mov %%gs:0xffffffffeacfd000, %0 \n" : "=r"(res));
+  __asm__ __volatile__ ( "mov %%gs:0, %0 \n" : "=r"(res));
   return res;
 }