Richard Henderson writes:
> The VMID is the ASID for the 2nd stage page lookup.
>
> Signed-off-by: Richard Henderson
Reviewed-by: Alex Bennée
> ---
> target/arm/helper.c | 26 --
> 1 file changed, 16 insertions(+), 10 deletions(-)
>
> diff --git a/target/arm/helper.
The VMID is the ASID for the 2nd stage page lookup.
Signed-off-by: Richard Henderson
---
target/arm/helper.c | 26 --
1 file changed, 16 insertions(+), 10 deletions(-)
diff --git a/target/arm/helper.c b/target/arm/helper.c
index 1ed7c06313..3a9f35bf4b 100644
--- a/target