Preserve the value of the ebx register in cpu_get_capabilities()

diff --git a/kernel/arch/cpu32.S b/kernel/arch/cpu32.S
index 1d0fb7b7de1c0048cadceda6b04821e88dd3151c..e98f45f8e88d40d437b95a683ae4eada5b1fb1a5 100644 (file)
--- a/kernel/arch/cpu32.S
+++ b/kernel/arch/cpu32.S
@@ -43,9 +43,11 @@ cpu_get_id:
 .global cpu_get_capabilities
 
 cpu_get_capabilities:
+       pushl   %ebx
     movl    $1, %eax
     cpuid
     movl    %ecx, %eax
+       popl    %ebx
     ret
 
 .global cpu_timestamp