X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/35719fdd2ff27177690edb32843d32e092a006e3..5658d2ec9c1081516a8868259fa867926e25ab3f:/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 1aa4e52d3..5f8d83140 100644
--- 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