target-arm: Use target_phys_addr_t in get_phys_addr()
commit77a71dd1cb561a920fba63d734cbacdc1357c490
authorPeter Maydell <peter.maydell@linaro.org>
Thu, 12 Jul 2012 10:59:09 +0000 (12 10:59 +0000)
committerPeter Maydell <peter.maydell@linaro.org>
Thu, 12 Jul 2012 10:59:54 +0000 (12 10:59 +0000)
tree7cb1ae08c31f8cdcce7570e876732e515e733ce2
parent891a2fe72031b7f9d4d2f5f8539206dbd1d6c3ec
target-arm: Use target_phys_addr_t in get_phys_addr()

In the implementation of get_phys_addr(), consistently use
target_phys_addr_t to hold the physical address rather than
uint32_t.

Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
target-arm/helper.c