1/*
2 * QEMU TCG support
3 *
4 * This work is licensed under the terms of the GNU GPL, version 2 or later.
5 * See the COPYING file in the top-level directory.
6 */
7
8#ifndef SYSEMU_TCG_H
9#define SYSEMU_TCG_H
10
11extern bool tcg_allowed;
12void tcg_exec_init(unsigned long tb_size);
13#ifdef CONFIG_TCG
14#define tcg_enabled() (tcg_allowed)
15#else
16#define tcg_enabled() 0
17#endif
18
19#endif
20