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