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 | extern bool tcg_allowed; |
12 | void 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 |