Change-Id: Ic4062c3593b0120097a41a25dfbfc91cea32d4d4
Signed-off-by: Varinder Pratap <varinder.p@samsung.com>
kvm="no"
hax="no"
colo="yes"
-whpx="yes"
+whpx="no"
rdma=""
gprof="no"
debug_tcg="no"
#include "qemu/thread.h"
#include "sysemu/cpus.h"
#include "sysemu/qtest.h"
-#include "sysemu/whpx.h"
#include "qemu/main-loop.h"
#include "qemu/bitmap.h"
#include "qemu/seqlock.h"
smm_available = true;
} else if (kvm_enabled()) {
smm_available = kvm_has_smm();
- } else if (hax_enabled() || whpx_enabled) {
+ } else if (hax_enabled() || whpx_enabled()) {
smm_available = false;
}
#ifndef QEMU_WHPX_H
#define QEMU_WHPX_H
-#ifdef NEED_CPU_H
-
#ifdef CONFIG_WHPX
#include "sysemu/cpus.h"
#endif /* CONFIG_WHPX */
-#endif /* NEED_CPU_H */
-
#endif /* QEMU_WHPX_H */
*
*/
+#include "qemu/osdep.h"
#include "emul_state.h"
#include <libgen.h>
#include "sysemu/kvm.h"
#elif defined(CONFIG_WIN32)
#include <windows.h>
-#include "sysemu/hax.h"
-#include "sysemu/whpx.h"
#elif defined(CONFIG_DARWIN)
#include <fcntl.h>
-#include "sysemu/hax.h"
#endif
-#include "qemu/osdep.h"
+#include "sysemu/hax.h"
+#include "sysemu/whpx.h"
+
#include "ui/console.h"
#include "sysemu/sysemu.h"
#include "block/block_int.h"