Detect CPUID instruction before using it.

[seabios.git] / src / paravirt.h

diff --git a/src/paravirt.h b/src/paravirt.h
index 4a370a0cb2b738076fda3ab5facdb49e20cd0369..96740893b8ba790d07e76fa05f94a2d97a867a4f 100644 (file)
--- a/src/paravirt.h
+++ b/src/paravirt.h
@@ -11,6 +11,8 @@
 
 static inline int kvm_para_available(void)
 {
+    if (CONFIG_COREBOOT)
+        return 0;
     unsigned int eax, ebx, ecx, edx;
     char signature[13];