Changes for v4:
* Mask more res0 bits for HCR.
* Fixes for TVM/TRVM.
* Fixes for el0 for TPCP & TPU.
r~
Richard Henderson (7):
target/arm: Improve masking of HCR RES0 bits
target/arm: Honor the HCR_EL2.{TVM,TRVM} bits
target/arm: Honor the HCR_EL2.TSW bit
target/arm: Honor the HCR_EL2.TACR bit
target/arm: Honor the HCR_EL2.TPCP bit
target/arm: Honor the HCR_EL2.TPU bit
target/arm: Honor the HCR_EL2.TTLB bit
target/arm/helper.c | 306 ++++++++++++++++++++++++++++++--------------
1 file changed, 213 insertions(+), 93 deletions(-)
--
2.20.1