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 11 void tcg_exec_init(unsigned long tb_size, int splitwx); 12 13 #ifdef CONFIG_TCG 14 extern bool tcg_allowed; 15 #define tcg_enabled() (tcg_allowed) 16 #else 17 #define tcg_enabled() 0 18 #endif 19 20 #endif 21