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