Re: [PATCH] target/arm: Implement ARMv8.1-VMID16 extension

2020-02-11 Thread Philippe Mathieu-Daudé
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

Re: [PATCH] target/arm: Implement ARMv8.1-VMID16 extension

2020-02-10 Thread Richard Henderson
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

Re: [PATCH] target/arm: Implement ARMv8.1-VMID16 extension

2020-02-10 Thread Peter Maydell
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

Re: [PATCH] target/arm: Implement ARMv8.1-VMID16 extension

2020-02-10 Thread Alex Bennée
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

[PATCH] target/arm: Implement ARMv8.1-VMID16 extension

2020-02-10 Thread Peter Maydell
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