diff --git a/src/arch/arm/tlb.cc b/src/arch/arm/tlb.cc index bad16d83b2..04b5cd409b 100644 --- a/src/arch/arm/tlb.cc +++ b/src/arch/arm/tlb.cc @@ -446,7 +446,7 @@ TLB::_flushMva(Addr mva, uint64_t asn, bool secure_lookup, bool hyp = target_el == EL2; - te = lookup(mva, asn, vmid, hyp, secure_lookup, false, ignore_asn, + te = lookup(mva, asn, vmid, hyp, secure_lookup, true, ignore_asn, target_el, in_host); while (te != NULL) { if (secure_lookup == !te->nstid) { @@ -454,7 +454,7 @@ TLB::_flushMva(Addr mva, uint64_t asn, bool secure_lookup, te->valid = false; stats.flushedEntries++; } - te = lookup(mva, asn, vmid, hyp, secure_lookup, false, ignore_asn, + te = lookup(mva, asn, vmid, hyp, secure_lookup, true, ignore_asn, target_el, in_host); } }