2 * QEMU Hardware accelertors support
4 * Copyright 2016 Google, Inc.
6 * This work is licensed under the terms of the GNU GPL, version 2 or later.
7 * See the COPYING file in the top-level directory.
11 #ifndef QEMU_HW_ACCEL_H
12 #define QEMU_HW_ACCEL_H
15 #include "sysemu/hax.h"
16 #include "sysemu/kvm.h"
17 #include "sysemu/whpx.h"
19 static inline void cpu_synchronize_state(CPUState
*cpu
)
22 kvm_cpu_synchronize_state(cpu
);
25 hax_cpu_synchronize_state(cpu
);
28 whpx_cpu_synchronize_state(cpu
);
32 static inline void cpu_synchronize_post_reset(CPUState
*cpu
)
35 kvm_cpu_synchronize_post_reset(cpu
);
38 hax_cpu_synchronize_post_reset(cpu
);
41 whpx_cpu_synchronize_post_reset(cpu
);
45 static inline void cpu_synchronize_post_init(CPUState
*cpu
)
48 kvm_cpu_synchronize_post_init(cpu
);
51 hax_cpu_synchronize_post_init(cpu
);
54 whpx_cpu_synchronize_post_init(cpu
);
58 static inline void cpu_synchronize_pre_loadvm(CPUState
*cpu
)
61 kvm_cpu_synchronize_pre_loadvm(cpu
);
64 hax_cpu_synchronize_pre_loadvm(cpu
);
67 whpx_cpu_synchronize_pre_loadvm(cpu
);
71 #endif /* QEMU_HW_ACCEL_H */