]> rtime.felk.cvut.cz Git - l4.git/blobdiff - l4/pkg/l4sys/include/ARCH-ppc32/utcb.h
update
[l4.git] / l4 / pkg / l4sys / include / ARCH-ppc32 / utcb.h
index 8ede8d975d1735296419e3bfdd487547a2db94fe..bfdeb44ff0e809c20ae37277c40cbf64c6dd65d4 100644 (file)
@@ -83,7 +83,7 @@ L4_INLINE l4_utcb_t *l4_utcb_direct(void) L4_NOTHROW
 {
   l4_utcb_t *utcb;
 
-  __asm__ __volatile__
+  __asm__
   ("mr %[utcb], %%r2\n"
    : [utcb] "=r" (utcb)
    : );