4 * Copyright IBM, Corp. 2008
7 * Anthony Liguori <aliguori@us.ibm.com>
9 * Copyright (c) 2011 Intel Corporation
11 * Jiang Yunhong<yunhong.jiang@intel.com>
12 * Xin Xiaohui<xiaohui.xin@intel.com>
13 * Zhang Xiantao<xiantao.zhang@intel.com>
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.
25 int hax_sync_vcpus(void);
29 int hax_enabled(void);
31 #else /* CONFIG_HAX */
33 #define hax_enabled() (0)
35 #endif /* CONFIG_HAX */
37 #endif /* QEMU_HAX_H */