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