tree ed8220562f824411822ab12d7c20119f5f32fb65
parent ab1da85791340e504d10487e1add81b9988afa98
author Edgar E. Iglesias <edgar.iglesias@xilinx.com> 1385630021 +0100
committer Edgar E. Iglesias <edgar.iglesias@xilinx.com> 1392123444 +1000

exec: Make stl_phys_notdirty input an AddressSpace

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