update

[l4.git] / l4 / pkg / l4util / include / ARCH-amd64 / cpu.h

diff --git a/l4/pkg/l4util/include/ARCH-amd64/cpu.h b/l4/pkg/l4util/include/ARCH-amd64/cpu.h
index 1aa4e52d38a7da21917dbe14b4993855dfe003ac..5f8d83140e8ef4f2787e9f63b20d0ced28e57934 100644 (file)
--- a/l4/pkg/l4util/include/ARCH-amd64/cpu.h
+++ b/l4/pkg/l4util/include/ARCH-amd64/cpu.h
@@ -54,8 +54,8 @@ L4_INLINE void
 l4util_cpu_cpuid(unsigned long mode,
                  unsigned long *eax, unsigned long *ebx,
                  unsigned long *ecx, unsigned long *edx);
-/*@}*/
 
+/*@}*/
 static inline void
 l4util_cpu_pause(void)
 {
@@ -67,11 +67,12 @@ l4util_cpu_has_cpuid(void)
 {
   unsigned long eax;
 
-  asm volatile("pushf                  \t\n"
+  asm volatile(
+               "pushf                  \t\n"
                "pop %%rax              \t\n" /* get eflags */
                "mov %%rax, %%rbx       \t\n" /* save it */
                "xorq $0x200000, %%rax  \t\n" /* toggle ID bit */
-               "push %%rax             \t\n" 
+               "push %%rax             \t\n"
                "popf                   \t\n" /* set again */
                "pushf                  \t\n"
                "pop %%rax              \t\n" /* get it again */
@@ -96,7 +97,7 @@ l4util_cpu_cpuid(unsigned long mode,
                  "=c" (*ecx),
                  "=d" (*edx)
                : "a"  (mode)
-               : "cc");
+               );
 }
 
 L4_INLINE unsigned int