tree 636b3f38b921da191b90f223c3513ae9c4db8551
parent 14db7fe09a2c8d561ff37f98b328409906a560d7
author Peter Maydell <peter.maydell@linaro.org> 1440513909 +0100
committer Peter Maydell <peter.maydell@linaro.org> 1440515913 +0100

cputlb: Add functions for flushing TLB for a single MMU index

Guest CPU TLB maintenance operations may be sufficiently
specialized to only need to flush TLB entries corresponding
to a particular MMU index. Implement cputlb functions for
this, to avoid the inefficiency of flushing TLB entries
which we don't need to.

Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Edgar E. Iglesias <edgar.iglesias@xilinx.com>
Message-id: 1439548879-1972-2-git-send-email-peter.maydell@linaro.org