tree 27e9d54bafae313814dd2f021266e8e68f5975c7
parent 8fa7574904793396694fa88834751a93bcdf4e10
author Edgar E. Iglesias <edgar.iglesias@xilinx.com> 1383849790 +0100
committer Edgar E. Iglesias <edgar.iglesias@xilinx.com> 1392123355 +1000

exec: Make tb_invalidate_phys_addr input an AS

No functional change.

Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Edgar E. Iglesias <edgar.iglesias@xilinx.com>