On 5/17/21 4:55 AM, Philippe Mathieu-Daudé wrote:
-#ifdef NEED_CPU_H - -#ifdef CONFIG_HAX - -int hax_enabled(void); - -#else /* CONFIG_HAX */ - -#define hax_enabled() (0) - -#endif /* CONFIG_HAX */ - -#endif /* NEED_CPU_H */ +bool hax_enabled(void);
Similarly with CONFIG_HAX_IS_POSSIBLE. r~