]>
Commit | Line | Data |
---|---|---|
29b22c79 JTV |
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 | #include "config-host.h" | |
17 | #include "qemu-common.h" | |
18 | ||
19 | int whpx_init_vcpu(CPUState *cpu); | |
20 | int whpx_vcpu_exec(CPUState *cpu); | |
21 | void whpx_destroy_vcpu(CPUState *cpu); | |
22 | void whpx_vcpu_kick(CPUState *cpu); | |
23 | ||
24 | ||
25 | void whpx_cpu_synchronize_state(CPUState *cpu); | |
26 | void whpx_cpu_synchronize_post_reset(CPUState *cpu); | |
27 | void whpx_cpu_synchronize_post_init(CPUState *cpu); | |
28 | void whpx_cpu_synchronize_pre_loadvm(CPUState *cpu); | |
29 | ||
30 | #ifdef CONFIG_WHPX | |
31 | ||
32 | int whpx_enabled(void); | |
33 | ||
34 | #else /* CONFIG_WHPX */ | |
35 | ||
36 | #define whpx_enabled() (0) | |
37 | ||
38 | #endif /* CONFIG_WHPX */ | |
39 | ||
40 | #endif /* QEMU_WHPX_H */ |