vgabios: Unify code to generate the vbe mode list.

[seabios.git] / src / paravirt.h

diff --git a/src/paravirt.h b/src/paravirt.h
index 83166f498a75c61027497104d76af2338589d3b3..4a370a0cb2b738076fda3ab5facdb49e20cd0369 100644 (file)
--- a/src/paravirt.h
+++ b/src/paravirt.h
@@ -1,6 +1,7 @@
 #ifndef __PV_H
 #define __PV_H
 
+#include "config.h" // CONFIG_COREBOOT
 #include "util.h"
 
 /* This CPUID returns the signature 'KVMKVMKVM' in ebx, ecx, and edx.  It