tcg: Implement tcg_gen_extract2_{i32,i64}
[qemu/ar7.git] / include / sysemu / whpx.h
blobd200ee01d08a2f28e343d6147e80e56195f290e4
1 /*
2 * QEMU Windows Hypervisor Platform accelerator (WHPX) support
4 * Copyright Microsoft, Corp. 2017
6 * Authors:
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.
13 #ifndef QEMU_WHPX_H
14 #define QEMU_WHPX_H
16 #include "qemu-common.h"
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);
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);
29 #ifdef CONFIG_WHPX
31 int whpx_enabled(void);
33 #else /* CONFIG_WHPX */
35 #define whpx_enabled() (0)
37 #endif /* CONFIG_WHPX */
39 #endif /* QEMU_WHPX_H */