On 26 May 2011 19:28, Stefan Weil <w...@mail.berlios.de> wrote: > Am 26.05.2011 20:05, schrieb Peter Maydell: >> The PPC helper functions booke206_tlbflush and booke_setpid both >> take an i32 argument, so we need to use TCGv_i32 rather than TCGv, >> to avoid a compilation failure when compiling in debug mode.
> See http://patchwork.ozlabs.org/patch/96665/ Oops; I did try searching my mail for a fix, but obviously failed to use the right search term. -- PMM
