495,497c495,496
<
< if (!cmd.dw1.leaf)
< walkCache.invalidateVAA(addr, cmd.dw0.vmid);
---
> const bool leaf_only = cmd.dw1.leaf ? true : false;
> walkCache.invalidateVAA(addr, cmd.dw0.vmid, leaf_only);
512,514c511,513
<
< if (!cmd.dw1.leaf)
< walkCache.invalidateVA(addr, cmd.dw0.asid, cmd.dw0.vmid);
---
> const bool leaf_only = cmd.dw1.leaf ? true : false;
> walkCache.invalidateVA(addr, cmd.dw0.asid, cmd.dw0.vmid,
> leaf_only);