Markus Armbruster | 14a48c1 | 2019-05-23 16:35:05 +0200 | [diff] [blame] | 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 | |
Philippe Mathieu-Daudé | 6970030 | 2023-04-03 14:53:17 +0200 | [diff] [blame] | 8 | /* header to be included in non-TCG-specific code */ |
| 9 | |
Markus Armbruster | 14a48c1 | 2019-05-23 16:35:05 +0200 | [diff] [blame] | 10 | #ifndef SYSEMU_TCG_H |
| 11 | #define SYSEMU_TCG_H |
| 12 | |
Markus Armbruster | 14a48c1 | 2019-05-23 16:35:05 +0200 | [diff] [blame] | 13 | #ifdef CONFIG_TCG |
Philippe Mathieu-Daudé | ce4049e | 2020-05-26 19:24:22 +0200 | [diff] [blame] | 14 | extern bool tcg_allowed; |
Markus Armbruster | 14a48c1 | 2019-05-23 16:35:05 +0200 | [diff] [blame] | 15 | #define tcg_enabled() (tcg_allowed) |
| 16 | #else |
| 17 | #define tcg_enabled() 0 |
| 18 | #endif |
| 19 | |
| 20 | #endif |