On 6/20/25 10:13, Philippe Mathieu-Daudé wrote:
Currently whpx_enabled() is restricted to target-specific code.
By defining CONFIG_WHPX_IS_POSSIBLE we allow its use anywhere.
Signed-off-by: Philippe Mathieu-Daudé<[email protected]>
---
include/system/whpx.h | 27 ++++++++++++++-------------
accel/stubs/whpx-stub.c | 12 ++++++++++++
target/i386/whpx/whpx-all.c | 5 -----
accel/stubs/meson.build | 1 +
4 files changed, 27 insertions(+), 18 deletions(-)
create mode 100644 accel/stubs/whpx-stub.c
Reviewed-by: Richard Henderson <[email protected]>
r~
