[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH v4 30/40] target/arm: Flush tlbs for E2&0 translation regime
From: |
Richard Henderson |
Subject: |
Re: [PATCH v4 30/40] target/arm: Flush tlbs for E2&0 translation regime |
Date: |
Wed, 29 Jan 2020 09:05:43 -0800 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.4.1 |
On 12/6/19 9:14 AM, Peter Maydell wrote:
>> static void tlbi_aa64_alle2_write(CPUARMState *env, const ARMCPRegInfo *ri,
>> uint64_t value)
>> {
>> - ARMCPU *cpu = env_archcpu(env);
>> - CPUState *cs = CPU(cpu);
>> + CPUState *cs = env_cpu(env);
>> + int mask = vae2_tlbmask(env);
>
> Why do we use the 'v' mask function for a non 'v' TLB op?
>
>>
>> - tlb_flush_by_mmuidx(cs, ARMMMUIdxBit_E2);
>> + tlb_flush_by_mmuidx(cs, mask);
>
> The spec fror TLBI ALLE2 doesn't say it depends on
> what the E2H setting is. It says it flushes all entries
> for either NS EL2 or NS EL2&0 translation regimes.
> Wouldn't that be
> ARMMMUIdxBit_EL20_0 | ARMMMUIdxBit_EL20_2 | ARMMMUIdxBit_E2
> ?
>
> Contrast TLBI VAE2, which does say that the entries it
> flushes depend on the current setting of HCR_EL2.E2H.
Hmm. True. It would seem that ALLE1 has the same bug, because I confused
matters in 4a354502869. Will fix both.
r~
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- Re: [PATCH v4 30/40] target/arm: Flush tlbs for E2&0 translation regime,
Richard Henderson <=