exec.c: Use cpu_get_phys_page_attrs_debug
commit5232e4c798ba7a46261d3157b73d08fc598e7dcb
authorPeter Maydell <peter.maydell@linaro.org>
Thu, 21 Jan 2016 14:15:06 +0000 (21 14:15 +0000)
committerPeter Maydell <peter.maydell@linaro.org>
Thu, 21 Jan 2016 14:15:06 +0000 (21 14:15 +0000)
tree0d757ca88b815e1affc276668806c306d5d6f9e8
parent651a5bc03705102de519ebf079a40ecc1da991db
exec.c: Use cpu_get_phys_page_attrs_debug

Use cpu_get_phys_page_attrs_debug() when doing virtual-to-physical
conversions in debug related code, so that we can obtain the right
address space index and thus select the correct AddressSpace,
rather than always using cpu->as.

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