#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
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);