On Wed, 3 May 2023 at 08:11, Richard Henderson <richard.hender...@linaro.org> wrote: > > This header is supposed to be private to tcg and in fact > does not need to be included here at all. > > Reviewed-by: Song Gao <gaos...@loongson.cn> > Signed-off-by: Richard Henderson <richard.hender...@linaro.org> Reviewed-by: Peter Maydell <peter.mayd...@linaro.org>
thanks -- PMM
