From: Tom Hanson <thomas.hanson@linaro.org>
To: Sergey Sorokin <afarallax@yandex.ru>,
Peter Maydell <peter.maydell@linaro.org>
Cc: qemu-arm <qemu-arm@nongnu.org>, QEMU Developers <qemu-devel@nongnu.org>
Subject: Re: [Qemu-devel] [Qemu-arm] [PATCH] target-arm: Fix descriptor address masking in ARM address translation
Date: Tue, 26 Apr 2016 10:35:50 -0600 [thread overview]
Message-ID: <571F98E6.1010109@linaro.org> (raw)
In-Reply-To: <1362381458575779@web6j.yandex.ru>
On 03/21/2016 09:56 AM, Sergey Sorokin wrote:
> 17.03.2016, 18:24, "Peter Maydell" <peter.maydell@linaro.org>:
>> On 17 March 2016 at 15:21, Sergey Sorokin <afarallax@yandex.ru> wrote:
>>> 17.03.2016, 14:40, "Peter Maydell" <peter.maydell@linaro.org>:
>>>> On 13 March 2016 at 18:28, Sergey Sorokin <afarallax@yandex.ru> wrote:
>>>>>> If you want to implement the AddressSize checks that's fine,
>>>>>> but otherwise please leave this bit of the code alone.
>>>>>
>>>>> You said me that my code is not correct, I have proved that it conforms
>>>>> to the documentation.
>>>>> It's a bit obfuscating when the doc explicitly says to take bits up to 39
>>>>> from the descriptor, but in QEMU we take bits up to 47 relying on the check in
>>>>> another part of the code, even if both ways are correct.
>>>>
>>>> The way the code in QEMU is structured is that we extract the
>>>> descriptor field in one go and then will operate on it
>>>> (checking for need to AddressSize fault, etc) as a second
>>>> action. The field descriptors themselves are the sizes I said.
>>>
>>> Well, may be it's enough just to change this comment as you intend:
>>>
>>>>> - /* The address field in the descriptor goes up to bit 39 for ARMv7
>>>>> - * but up to bit 47 for ARMv8.
>>>>> + /* The address field in the descriptor goes up to bit 39 for AArch32
>>>>> + * but up to bit 47 for AArch64.
>>>>> */
>>
>> The comment is correct as it stands.
>>
>> thanks
>> -- PMM
>
> I mean in the patch.
> We need to fix lower bits in descaddrmask anyway.
> So:
>
> I could describe in the comment, that the descriptor field is up to bit 47 for ARMv8 (as long as you want it),
> but we use the descaddrmask up to bit 39 for AArch32,
> because we don't need other bits in that case to construct next descriptor address.
> It is clearly described in the ARM pseudo-code.
> Why should we keep in the mask bits from 40 up to 47 if we don't need them? Even if they are all zeroes.
> It is a bit obfuscating, as I said.
>
I agree with Peter. The original comment is correct.
Looking at the TLBRecord AArch32.TranslationTableWalkLD pseudocode, it is treating the AArch32 address as 48 bits long. For example:
if !IsZero(baseregister<47:40>) then
level = 0;
result.addrdesc.fault = AArch32.AddressSizeFault(ipaddress, domain, level, acctype, iswrite,
secondstage, s2fs1walk);
return result;
This requires that an AArch32 address have specific values up through bit 47.
next prev parent reply other threads:[~2016-04-26 16:35 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-03-04 16:04 [Qemu-devel] [PATCH] target-arm: Fix descriptor address masking in ARM address translation Sergey Sorokin
2016-03-11 8:40 ` Peter Maydell
2016-03-11 23:44 ` Sergey Sorokin
2016-03-12 0:18 ` Peter Maydell
2016-03-13 18:28 ` Sergey Sorokin
2016-03-17 11:40 ` Peter Maydell
2016-03-17 15:21 ` Sergey Sorokin
2016-03-17 15:23 ` Peter Maydell
2016-03-21 15:56 ` Sergey Sorokin
2016-04-26 16:35 ` Tom Hanson [this message]
2016-04-26 21:39 ` [Qemu-devel] [Qemu-arm] " Sergey Sorokin
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=571F98E6.1010109@linaro.org \
--to=thomas.hanson@linaro.org \
--cc=afarallax@yandex.ru \
--cc=peter.maydell@linaro.org \
--cc=qemu-arm@nongnu.org \
--cc=qemu-devel@nongnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).