On 2/10/20 1:01 PM, Peter Maydell wrote:
The ARMv8.1-VMID16 extension extends the VMID from 8 bits to 16 bits:
* the ID_AA64MMFR1_EL1.VMIDBits field specifies whether the VMID is
8 or 16 bits
* the VMID field in VTTBR_EL2 is extended to 16 bits
* VTCR_EL2.VS lets the guest specify whet
On 2/10/20 1:19 PM, Peter Maydell wrote:
> On Mon, 10 Feb 2020 at 12:23, Alex Bennée wrote:
>>
>>
>> Peter Maydell writes:
>>
>>> The ARMv8.1-VMID16 extension extends the VMID from 8 bits to 16 bits:
>>>
>>> * the ID_AA64MMFR1_EL1.VMIDBits field specifies whether the VMID is
>>>8 or 16 bits
On Mon, 10 Feb 2020 at 12:23, Alex Bennée wrote:
>
>
> Peter Maydell writes:
>
> > The ARMv8.1-VMID16 extension extends the VMID from 8 bits to 16 bits:
> >
> > * the ID_AA64MMFR1_EL1.VMIDBits field specifies whether the VMID is
> >8 or 16 bits
> > * the VMID field in VTTBR_EL2 is extended
Peter Maydell writes:
> The ARMv8.1-VMID16 extension extends the VMID from 8 bits to 16 bits:
>
> * the ID_AA64MMFR1_EL1.VMIDBits field specifies whether the VMID is
>8 or 16 bits
> * the VMID field in VTTBR_EL2 is extended to 16 bits
> * VTCR_EL2.VS lets the guest specify whether to use
The ARMv8.1-VMID16 extension extends the VMID from 8 bits to 16 bits:
* the ID_AA64MMFR1_EL1.VMIDBits field specifies whether the VMID is
8 or 16 bits
* the VMID field in VTTBR_EL2 is extended to 16 bits
* VTCR_EL2.VS lets the guest specify whether to use the full 16 bits,
or use the back