Something I noticed while developing and testing VHE. For v2, fix select as a separate patch. For v3, adjust pauth to use bit 55 explicitly, and remove a now duplicate test within get_phys_addr_lpae.
r~ Richard Henderson (4): target/arm: Use bit 55 explicitly for pauth target/arm: Fix select for aa64_va_parameters_both target/arm: Remove ttbr1_valid check from get_phys_addr_lpae target/arm: Split out aa64_va_parameter_tbi, aa64_va_parameter_tbid target/arm/internals.h | 3 - target/arm/helper.c | 144 ++++++++++++++++++++------------------ target/arm/pauth_helper.c | 3 +- 3 files changed, 76 insertions(+), 74 deletions(-) -- 2.20.1