4 * Copyright (c) 2015, Intel Corporation
6 * Copyright 2016 Google, Inc.
8 * This software is licensed under the terms of the GNU General Public
9 * License version 2, as published by the Free Software Foundation, and
10 * may be copied, distributed, and modified under those terms.
12 * See the COPYING file in the top-level directory.
16 #include "qemu/osdep.h"
17 #include "qemu-common.h"
19 #include "sysemu/hax.h"
21 int hax_sync_vcpus(void)
26 int hax_init_vcpu(CPUState
*cpu
)
31 int hax_smp_cpu_exec(CPUState
*cpu
)