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 19int whpx_init_vcpu(CPUState *cpu); 20int whpx_vcpu_exec(CPUState *cpu); 21void whpx_destroy_vcpu(CPUState *cpu); 22void whpx_vcpu_kick(CPUState *cpu); 23 24 25void whpx_cpu_synchronize_state(CPUState *cpu); 26void whpx_cpu_synchronize_post_reset(CPUState *cpu); 27void whpx_cpu_synchronize_post_init(CPUState *cpu); 28void whpx_cpu_synchronize_pre_loadvm(CPUState *cpu); 29 30#ifdef CONFIG_WHPX 31 32int 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