--- qemu/roms/seabios/src/paravirt.h	2018/04/24 18:58:57	1.1.1.3
+++ qemu/roms/seabios/src/paravirt.h	2018/04/24 19:24:07	1.1.1.4
@@ -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
@@ -101,6 +102,7 @@ static inline const char* romfile_name(u
     return qemu_cfg_name_file(fileid);
 }
 void *romfile_loadfile(const char *name, int *psize);
+u64 romfile_loadint(const char *name, u64 defval);
 
 u32 qemu_cfg_e820_entries(void);
 void* qemu_cfg_e820_load_next(void *addr);