From: "Philippe Mathieu-Daudé" <philmd@linaro.org>
To: Richard Henderson <richard.henderson@linaro.org>, qemu-devel@nongnu.org
Cc: mads@ynddal.dk, agraf@csgraf.de, qemu-arm@nongnu.org,
Mohamed Mediouni <mohamed@unpredictable.fr>,
Danny Canter <danny_canter@apple.com>,
Cameron Esfahani <dirty@apple.com>,
Akihiko Odaki <akihiko.odaki@gmail.com>
Subject: Re: [PATCH 4/7] target/arm/hvf: Add KVMID_TO_HVF, HVF_TO_KVMID
Date: Mon, 18 Aug 2025 17:46:21 +0200 [thread overview]
Message-ID: <a4a4c7a8-df35-4bd3-9de1-b22ca7bcca22@linaro.org> (raw)
In-Reply-To: <5b9e5f5a-b434-479c-8840-dbb4cda1365c@linaro.org>
Cc'ing Apple folks hoping they can forward or directly help :)
On 18/8/25 15:21, Richard Henderson wrote:
> On 8/18/25 22:41, Philippe Mathieu-Daudé wrote:
>> Rebasing Mohamed's work I'm getting:
>>
>> In file included from ../../target/arm/hvf/hvf.c:413:
>> ../../target/arm/hvf/sysreg.c.inc:156:1: error: static assertion
>> failed due to requirement '!(HV_SYS_REG_MDCR_EL2 != (((((1 << 28) |
>> (19 << 16) | ((3) << 14) | ((4) << 11) | ((1) << 7) | ((1) << 3) |
>> ((1) << 0)) | 13510798882111488ULL)) & 65535))': not expecting:
>> HV_SYS_REG_MDCR_EL2 != KVMID_TO_HVF(KVMID_AA64_SYS_REG64(1, 1, 3, 4, 1))
>> 156 | DEF_SYSREG(HV_SYS_REG_MDCR_EL2, 1, 1, 3, 4, 1)
>> | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
>
>
>> HV_SYS_REG_MDCR_EL2 = 0xe019, <----
>
> How odd. It should be e089, if it were encoded like all the others.
>
> I wonder if this is a manual typo that's now baked into the api, or if
> it's an OS bug.
>
>
> r~
>
next prev parent reply other threads:[~2025-08-18 15:46 UTC|newest]
Thread overview: 23+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-08-18 4:13 [PATCH 0/7] target/arm/hvf cleanups Richard Henderson
2025-08-18 4:13 ` [PATCH 1/7] target/arm: Introduce KVMID_AA64_SYS_REG64 Richard Henderson
2025-08-18 4:13 ` [PATCH 2/7] target/arm: Move compare_u64 to helper.c Richard Henderson
2025-08-18 6:12 ` Philippe Mathieu-Daudé
2025-08-18 4:13 ` [PATCH 3/7] target/arm/hvf: Split out sysreg.c.inc Richard Henderson
2025-08-18 6:13 ` Philippe Mathieu-Daudé
2025-08-18 4:13 ` [PATCH 4/7] target/arm/hvf: Add KVMID_TO_HVF, HVF_TO_KVMID Richard Henderson
2025-08-18 12:41 ` Philippe Mathieu-Daudé
2025-08-18 13:21 ` Richard Henderson
2025-08-18 15:46 ` Philippe Mathieu-Daudé [this message]
2025-08-18 18:37 ` Danny Canter
2025-09-01 15:02 ` Philippe Mathieu-Daudé
2025-09-02 13:40 ` Richard Henderson
2025-08-18 4:13 ` [PATCH 5/7] target/arm/hvf: Remove hvf_sreg_match.key Richard Henderson
2025-08-18 6:15 ` Philippe Mathieu-Daudé
2025-08-18 4:13 ` [PATCH 6/7] target/arm/hvf: Replace hvf_sreg_match with hvf_sreg_list Richard Henderson
2025-08-18 6:17 ` Philippe Mathieu-Daudé
2025-08-18 4:13 ` [PATCH 7/7] target/arm/hvf: Sort the cpreg_indexes array Richard Henderson
2025-08-18 6:18 ` Philippe Mathieu-Daudé
2025-08-18 12:25 ` [PATCH 0/7] target/arm/hvf cleanups Philippe Mathieu-Daudé
2025-08-20 11:52 ` Mads Ynddal
-- strict thread matches above, loose matches on Subject: below --
2025-08-27 1:03 [RFC PATCH 00/61] target/arm: Implement FEAT_SYSREG128 Richard Henderson
2025-08-27 1:03 ` [PATCH 4/7] target/arm/hvf: Add KVMID_TO_HVF, HVF_TO_KVMID Richard Henderson
2025-08-28 12:22 ` Manos Pitsidianakis
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=a4a4c7a8-df35-4bd3-9de1-b22ca7bcca22@linaro.org \
--to=philmd@linaro.org \
--cc=agraf@csgraf.de \
--cc=akihiko.odaki@gmail.com \
--cc=danny_canter@apple.com \
--cc=dirty@apple.com \
--cc=mads@ynddal.dk \
--cc=mohamed@unpredictable.fr \
--cc=qemu-arm@nongnu.org \
--cc=qemu-devel@nongnu.org \
--cc=richard.henderson@linaro.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).