ARMv8.4 adds the mandatory FEAT_TLBIOS and FEAT_TLBIRANGE. They provides TLBI maintenance instructions that extend to the Outer Shareable domain and that apply to a range of input addresses.
Changes from v3 to v4: o Adapted code from the existing flush_page_bits_* functions to support flushing a range of addresses. o Changed the API from num_pages to length. o Removed the exception generation from tlbi_aa64_range_get_num_pages. o The addr is no longer passed into tlbi_aa64_range_get_num_pages. o Other changes based on feedback. Rebecca Cran (3): target/arm: Add support for FEAT_TLBIRANGE target/arm: Add support for FEAT_TLBIOS target/arm: set ID_AA64ISAR0.TLB to 2 for max AARCH64 CPU type accel/tcg/cputlb.c | 135 +++++++ include/exec/exec-all.h | 45 +++ target/arm/cpu.h | 10 + target/arm/cpu64.c | 1 + target/arm/helper.c | 393 ++++++++++++++++++++ 5 files changed, 584 insertions(+) -- 2.26.2
