On 9/3/25 12:06, Philippe Mathieu-Daudé wrote:
> Do not expose ARM specific fields to X86 implementation,
> allowing to use the proper 'hv_vcpu_exit_t' type.
>
> Signed-off-by: Philippe Mathieu-Daudé <philmd@linaro.org>
> ---
> include/system/hvf_int.h | 4 +++-
> 1 file changed, 3 insertions(+), 1 deletion(-)
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
r~
>
> diff --git a/include/system/hvf_int.h b/include/system/hvf_int.h
> index 195d64dcf18..3d2be4092ef 100644
> --- a/include/system/hvf_int.h
> +++ b/include/system/hvf_int.h
> @@ -59,10 +59,12 @@ extern HVFState *hvf_state;
>
> struct AccelCPUState {
> hvf_vcpuid fd;
> - void *exit;
> +#ifdef __aarch64__
> + hv_vcpu_exit_t *exit;
> bool vtimer_masked;
> sigset_t unblock_ipi_mask;
> bool guest_debug_enabled;
> +#endif
> };
>
> void assert_hvf_ok_impl(hv_return_t ret, const char *file, unsigned int line,