biosdevname/biosdevname-pic.patch

21 lines
530 B
Diff

Index: biosdevname-0.5.0/src/bios_dev_name.c
===================================================================
--- biosdevname-0.5.0.orig/src/bios_dev_name.c
+++ biosdevname-0.5.0/src/bios_dev_name.c
@@ -114,10 +114,13 @@ static u_int32_t
cpuid (u_int32_t eax, u_int32_t ecx)
{
asm volatile (
- "xor %%ebx, %%ebx; cpuid"
+ "pushl %%ebx\n"
+ "xor %%ebx, %%ebx\n"
+ "cpuid\n"
+ "popl %%ebx\n"
: "=a" (eax), "=c" (ecx)
: "a" (eax)
- : "%ebx", "%edx");
+ : "%edx");
return ecx;
}