1/*
2 * QEMU Windows Hypervisor Platform accelerator (WHPX) support
3 *
4 * Copyright Microsoft, Corp. 2017
5 *
6 * Authors:
7 *
8 * This work is licensed under the terms of the GNU GPL, version 2 or later.
9 * See the COPYING file in the top-level directory.
10 *
11 */
12
13#ifndef QEMU_WHPX_H
14#define QEMU_WHPX_H
15
16
17int whpx_init_vcpu(CPUState *cpu);
18int whpx_vcpu_exec(CPUState *cpu);
19void whpx_destroy_vcpu(CPUState *cpu);
20void whpx_vcpu_kick(CPUState *cpu);
21
22
23void whpx_cpu_synchronize_state(CPUState *cpu);
24void whpx_cpu_synchronize_post_reset(CPUState *cpu);
25void whpx_cpu_synchronize_post_init(CPUState *cpu);
26void whpx_cpu_synchronize_pre_loadvm(CPUState *cpu);
27
28#ifdef CONFIG_WHPX
29
30int whpx_enabled(void);
31
32#else /* CONFIG_WHPX */
33
34#define whpx_enabled() (0)
35
36#endif /* CONFIG_WHPX */
37
38#endif /* QEMU_WHPX_H */
39