2018-01-22 22:07:47 +01:00
|
|
|
/*
|
|
|
|
* QEMU Windows Hypervisor Platform accelerator (WHPX) support
|
|
|
|
*
|
|
|
|
* Copyright Microsoft, Corp. 2017
|
|
|
|
*
|
|
|
|
* Authors:
|
|
|
|
*
|
|
|
|
* This work is licensed under the terms of the GNU GPL, version 2 or later.
|
|
|
|
* See the COPYING file in the top-level directory.
|
|
|
|
*
|
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef QEMU_WHPX_H
|
|
|
|
#define QEMU_WHPX_H
|
|
|
|
|
2021-04-14 13:20:01 +02:00
|
|
|
#ifdef NEED_CPU_H
|
|
|
|
|
2018-01-22 22:07:47 +01:00
|
|
|
#ifdef CONFIG_WHPX
|
|
|
|
|
|
|
|
int whpx_enabled(void);
|
2020-12-19 10:06:37 +01:00
|
|
|
bool whpx_apic_in_platform(void);
|
2020-10-28 03:23:19 +01:00
|
|
|
|
2018-01-22 22:07:47 +01:00
|
|
|
#else /* CONFIG_WHPX */
|
|
|
|
|
|
|
|
#define whpx_enabled() (0)
|
2020-10-28 03:23:19 +01:00
|
|
|
#define whpx_apic_in_platform() (0)
|
2018-01-22 22:07:47 +01:00
|
|
|
|
|
|
|
#endif /* CONFIG_WHPX */
|
|
|
|
|
2021-04-14 13:20:01 +02:00
|
|
|
#endif /* NEED_CPU_H */
|
|
|
|
|
2018-01-22 22:07:47 +01:00
|
|
|
#endif /* QEMU_WHPX_H */
|