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