update

[l4.git] / kernel / fiasco / src / kern / ia32 / tramp-mp.S

diff --git a/kernel/fiasco/src/kern/ia32/tramp-mp.S b/kernel/fiasco/src/kern/ia32/tramp-mp.S
index 9914f90af4cd24f26063fd5b745c63d125f50576..28ae8abff8099c28354eccdd603e28c6d40bc565 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/tramp-mp.S
+++ b/kernel/fiasco/src/kern/ia32/tramp-mp.S
@@ -88,7 +88,7 @@ _entry_64virt:
 
     /* Increase CPU counter */
 1:     mov     CPU_NR_COUNTER, %eax
-       mov     %eax, %edi
+       mov     %eax, %edi
        inc     %edi
        lock    ; cmpxchg %edi, CPU_NR_COUNTER
        jnz     1b