#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
static inline int kvm_para_available(void)
{
+ if (CONFIG_COREBOOT)
+ return 0;
unsigned int eax, ebx, ecx, edx;
char signature[13];
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);