From 205a5c7340016aaa70ec2e9b0bc12f563a886753 Mon Sep 17 00:00:00 2001
From: Matthias Kruk <m@m10k.eu>
Date: Wed, 4 Sep 2019 01:42:00 +0900
Subject: [PATCH] Preserve the value of the ebx register in
 cpu_get_capabilities()

---
 kernel/arch/cpu32.S | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/kernel/arch/cpu32.S b/kernel/arch/cpu32.S
index 1d0fb7b..e98f45f 100644
--- 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
-- 
2.47.3