[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH v4 1/7] target/arm: Improve masking of HCR RES0 bits
From: |
Peter Maydell |
Subject: |
Re: [PATCH v4 1/7] target/arm: Improve masking of HCR RES0 bits |
Date: |
Fri, 28 Feb 2020 19:03:10 +0000 |
On Fri, 28 Feb 2020 at 18:55, Richard Henderson
<address@hidden> wrote:
>
> On 2/28/20 9:34 AM, Peter Maydell wrote:
> > You could refine the valid mask as the & of the bits which we
> > do want to exist in aarch32, rather than &~ of the reserved bits:
> >
> > valid_mask &= TTLBIS | TOCU | TICAB | ...
> >
> > ?
>
> Yes, that's a good idea.
It occurs to me that we should check what the required
semantics are for the opposite half of the register
if the guest writes to one half of it via hcr_writehigh()
or hcr_writelow() -- is the un-accessed half supposed
to stay exactly as it is, or is it ok for the
RES0-for-aarch32 bits to get squashed in the process?
That would seem at least a bit odd even if it's valid,
so maybe better to do aarch32 RES0 masking in
hcr_writehigh() and hcr_writelow()?
thanks
-- PMM
[PATCH v4 2/7] target/arm: Honor the HCR_EL2.{TVM,TRVM} bits, Richard Henderson, 2020/02/25
[PATCH v4 3/7] target/arm: Honor the HCR_EL2.TSW bit, Richard Henderson, 2020/02/25
[PATCH v4 4/7] target/arm: Honor the HCR_EL2.TACR bit, Richard Henderson, 2020/02/25
[PATCH v4 5/7] target/arm: Honor the HCR_EL2.TPCP bit, Richard Henderson, 2020/02/25
[PATCH v4 6/7] target/arm: Honor the HCR_EL2.TPU bit, Richard Henderson, 2020/02/25
[PATCH v4 7/7] target/arm: Honor the HCR_EL2.TTLB bit, Richard Henderson, 2020/02/25