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.
11 void tcg_exec_init(unsigned long tb_size
, int splitwx
);
14 extern bool tcg_allowed
;
15 #define tcg_enabled() (tcg_allowed)
17 #define tcg_enabled() 0