On 10/12/18 10:30 AM, Bastian Koppelmann wrote:
> +static bool trans_sfence_vma(DisasContext *ctx, arg_sfence_vma *a,
> + uint32_t insn)
> +{
> +#ifndef CONFIG_USER_ONLY
> + gen_helper_tlb_flush(cpu_env);
> + return true;
> +#else
> + return false;
> +#endif
> +}
> +
> +static bool trans_sfence_vm(DisasContext *ctx, arg_sfence_vm *a, uint32_t
> insn)
> +{
> +#ifndef CONFIG_USER_ONLY
> + gen_helper_tlb_flush(cpu_env);
> + return true;
> +#else
> + return false;
> +#endif
> +}
Out of curiosity, are we missing a check for priv_ver in each of these?
If so it's missing in the original source, so definitely a different patch.
Reviewed-by: Richard Henderson <richard.hender...@linaro.org>
r~
