4 * Copyright IBM, Corp. 2008
9 * Copyright (c) 2011 Intel Corporation
15 * Copyright 2016 Google, Inc.
17 * This work is licensed under the terms of the GNU GPL, version 2 or later.
18 * See the COPYING file in the top-level directory.
26 int hax_sync_vcpus(void);
27 int hax_init_vcpu(CPUState *cpu);
28 int hax_smp_cpu_exec(CPUState *cpu);
29 int hax_populate_ram(uint64_t va, uint64_t size);
31 void hax_cpu_synchronize_state(CPUState *cpu);
32 void hax_cpu_synchronize_post_reset(CPUState *cpu);
33 void hax_cpu_synchronize_post_init(CPUState *cpu);
34 void hax_cpu_synchronize_pre_loadvm(CPUState *cpu);
38 int hax_enabled(void);
40 #include "qemu/bitops.h"
41 #include "exec/memory.h"
42 int hax_vcpu_destroy(CPUState *cpu);
43 void hax_raise_event(CPUState *cpu);
44 void hax_reset_vcpu_state(void *opaque);
45 #include "target/i386/hax-interface.h"
46 #include "target/i386/hax-i386.h"
48 #else /* CONFIG_HAX */
50 #define hax_enabled() (0)
52 #endif /* CONFIG_HAX */
54 #endif /* QEMU_HAX_H */