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"
18 #include "sysemu/hax.h"
20 int hax_sync_vcpus(void)
25 int hax_init_vcpu(CPUState
*cpu
)
30 int hax_smp_cpu_exec(CPUState
*cpu
)