tcg.h 381 B

1234567891011121314151617181920
  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. /* header to be included in non-TCG-specific code */
  8. #ifndef SYSTEM_TCG_H
  9. #define SYSTEM_TCG_H
  10. #ifdef CONFIG_TCG
  11. extern bool tcg_allowed;
  12. #define tcg_enabled() (tcg_allowed)
  13. #else
  14. #define tcg_enabled() 0
  15. #endif
  16. #endif