4 * Copyright 2017 Red Hat, Inc.
6 * This software is licensed under the terms of the GNU General Public
7 * License version 2 or later, as published by the Free Software Foundation,
8 * and may be copied, distributed, and modified under those terms.
10 * See the COPYING file in the top-level directory.
14 #include "qemu/osdep.h"
15 #include "qemu-common.h"
17 #include "sysemu/hvf.h"
19 int hvf_init_vcpu(CPUState
*cpu
)
24 int hvf_vcpu_exec(CPUState
*cpu
)
29 void hvf_vcpu_destroy(CPUState
*cpu
)