On 12/3/19 11:01 AM, Peter Maydell wrote:
>> +/* Return true if this address translation regime has two ranges. */
>> +static inline bool regime_has_2_ranges(ARMMMUIdx mmu_idx)
>> +{
>> + switch (mmu_idx) {
>> + case ARMMMUIdx_S12NSE0:
>> + case ARMMMUIdx_S12NSE1:
>> + case ARMMMUIdx_S1NSE0:
>> + case ARMMMUIdx_S1NSE1:
>> + return true;
>
> Don't S1SE0 and S1SE1 also need to be here?Whoops, yes. I'll need to fix that in the VHE patch set too. r~
