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.
25 int hax_sync_vcpus(void);
29 # define CONFIG_HAX_IS_POSSIBLE
31 #else /* !NEED_CPU_H */
32 # define CONFIG_HAX_IS_POSSIBLE
35 #ifdef CONFIG_HAX_IS_POSSIBLE
37 extern bool hax_allowed;
39 #define hax_enabled() (hax_allowed)
41 #else /* !CONFIG_HAX_IS_POSSIBLE */
43 #define hax_enabled() (0)
45 #endif /* CONFIG_HAX_IS_POSSIBLE */
47 #endif /* QEMU_HAX_H */