2019-05-23 17:35:05 +03:00
|
|
|
/*
|
|
|
|
* QEMU TCG support
|
|
|
|
*
|
|
|
|
* This work is licensed under the terms of the GNU GPL, version 2 or later.
|
|
|
|
* See the COPYING file in the top-level directory.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef SYSEMU_TCG_H
|
|
|
|
#define SYSEMU_TCG_H
|
|
|
|
|
2020-10-29 06:50:29 +03:00
|
|
|
void tcg_exec_init(unsigned long tb_size, int splitwx);
|
|
|
|
|
2019-05-23 17:35:05 +03:00
|
|
|
#ifdef CONFIG_TCG
|
2020-05-26 20:24:22 +03:00
|
|
|
extern bool tcg_allowed;
|
2019-05-23 17:35:05 +03:00
|
|
|
#define tcg_enabled() (tcg_allowed)
|
|
|
|
#else
|
|
|
|
#define tcg_enabled() 0
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#endif
|