339a340,346
> void
> TLB::flushIpaVmid(Addr ipa, bool secure_lookup, bool hyp, uint8_t target_el)
> {
> assert(!isStage2);
> stage2Tlb->_flushMva(ipa, 0xbeef, secure_lookup, hyp, true, target_el);
> }
>