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 */ 41