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 "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 */ 40