Hi Peter,

On Fri, Aug 24, 2018 at 10:56 AM, Peter Maydell
<peter.mayd...@linaro.org> wrote:
> On 20 August 2018 at 03:31, Max Filippov <jcmvb...@gmail.com> wrote:
>> Signed-off-by: Max Filippov <jcmvb...@gmail.com>
>> ---
>>  target/xtensa/cpu.c       |  2 +-
>>  target/xtensa/cpu.h       |  7 ++++---
>>  target/xtensa/op_helper.c | 12 +++++++-----
>>  3 files changed, 12 insertions(+), 9 deletions(-)
>
> Hi -- thanks for doing this conversion. This change means that
> you'll no longer get guest exceptions for bus errors that happen
> during get_pte()'s page table entry fetch. Don't you need at
> least a TODO comment there indicating that there's missing
> behaviour?

Thanks for taking a look and letting me know, I've missed that entirely.

> (Obviously the ideal would be to switch to address_space_ldl_*
> and handle the case when they don't return MEMTX_OK.)

Yeah, let me do something about it.

-- 
Thanks.
-- Max

Reply via email to