112,114c112,114
< * @param update_used should ew update the used bits in the entries on not
< * useful if we are trying to do a va->pa without mucking with any state for
< * a debug read for example.
---
> * @param update_used should ew update the used bits in the
> * entries on not useful if we are trying to do a va->pa without
> * mucking with any state for a debug read for example.
< * @param update_used should ew update the used bits in the entries on not
< * useful if we are trying to do a va->pa without mucking with any state for
< * a debug read for example.
---
> * @param update_used should ew update the used bits in the
> * entries on not useful if we are trying to do a va->pa without
> * mucking with any state for a debug read for example.