arch-arm: VSTTBR_EL2 doesn't contain a VMID field
authorGiacomo Travaglini <giacomo.travaglini@arm.com>
Tue, 11 Aug 2020 20:10:01 +0000 (21:10 +0100)
committerGiacomo Travaglini <giacomo.travaglini@arm.com>
Fri, 14 Aug 2020 13:07:41 +0000 (13:07 +0000)
commitd3ec83ae3ec6d2908f260398150f64068c4ad802
tree4a93867d4b19fc8ac18a85ed01b27a7b4c7be165
parent18993204620cf18755442d09f6b852cbff455c04
arch-arm: VSTTBR_EL2 doesn't contain a VMID field

Change-Id: Ia6e14b509d7016020af9c85941e7b2d89dcdd359
Signed-off-by: Giacomo Travaglini <giacomo.travaglini@arm.com>
Reviewed-by: Nikos Nikoleris <nikos.nikoleris@arm.com>
Reviewed-on: https://gem5-review.googlesource.com/c/public/gem5/+/32637
Reviewed-by: Richard Cooper <richard.cooper@arm.com>
Tested-by: kokoro <noreply+kokoro@google.com>
src/arch/arm/tlb.cc