>> --- a/target/ppc/translate.c
>> +++ b/target/ppc/translate.c
>> @@ -4526,7 +4526,7 @@ static void gen_tlbie(DisasContext *ctx)
>> TCGv_i32 t1;
>>
>> if (ctx->gtse) {
>> -CHK_SV; /* If gtse is set then tblie is supervisor
>> privileged */
>> +CHK_SV; /* If gtse is set
On Wed, 2018-03-14 at 18:33 +0100, Cédric Le Goater wrote:
> tlbsync also needs to check the Guest Translation Shootdown Enable
> (GTSE) bit in the Logical Partition Control Register (LPCR) to
> determine at which privilege level it is running.
>
> See commit c6fd28fd573d ("target/ppc: Update tlbi