target/arm: Use ARMMMUFaultInfo in deliver_fault()
commit681f9a89d201d7891e2c60dff5e5415d8f618518
authorPeter Maydell <peter.maydell@linaro.org>
Wed, 13 Dec 2017 17:59:25 +0000 (13 17:59 +0000)
committerPeter Maydell <peter.maydell@linaro.org>
Wed, 13 Dec 2017 17:59:25 +0000 (13 17:59 +0000)
tree34a3e50d03b4d999f09f07dbcafbe3054d4fe8f5
parent3f551b5b7380ff131fe22944aa6f5b166aa13caf
target/arm: Use ARMMMUFaultInfo in deliver_fault()

Now that ARMMMUFaultInfo is guaranteed to have enough information
to construct a fault status code, we can pass it in to the
deliver_fault() function and let it generate the correct type
of FSR for the destination, rather than relying on the value
provided by get_phys_addr().

I don't think there are any cases the old code was getting
wrong, but this is more obviously correct.

Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Reviewed-by: Edgar E. Iglesias <edgar.iglesias@xilinx.com>
Tested-by: Stefano Stabellini <sstabellini@kernel.org>
Message-id: 1512503192-2239-10-git-send-email-peter.maydell@linaro.org
target/arm/op_helper.c