All of lore.kernel.org
 help / color / mirror / Atom feed
From: Marc Zyngier <maz@kernel.org>
To: Peter Maydell <peter.maydell@linaro.org>
Cc: Eric Auger <eric.auger@redhat.com>,
	eric.auger.pro@gmail.com, qemu-devel@nongnu.org,
	qemu-arm@nongnu.org, kvmarm@lists.linux.dev,
	richard.henderson@linaro.org, cohuck@redhat.com,
	sebott@redhat.com, skolothumtho@nvidia.com, philmd@linaro.org,
	oliver.upton@linux.dev, pbonzini@redhat.com, armbru@redhat.com,
	berrange@redhat.com, abologna@redhat.com, jdenemar@redhat.com
Subject: Re: [PATCH v4 00/17] kvm/arm: Introduce a customizable aarch64 KVM host model
Date: Fri, 15 May 2026 10:04:35 +0100	[thread overview]
Message-ID: <87pl2x9h7g.wl-maz@kernel.org> (raw)
In-Reply-To: <CAFEAcA-TE-8cj6fGOYJaChRVB5GE7E8ys87cxPP4Yw1kgjh9Dg@mail.gmail.com>

On Fri, 15 May 2026 09:31:19 +0100,
Peter Maydell <peter.maydell@linaro.org> wrote:
> 
> So if the user asks to set ID registers to an architecturally
> invalid combination (e.g. one that reports FEAT_X but not
> FEAT_Y even though FEAT_X is supposed to imply FEAT_Y, or
> one where one ID register says we have FEAT_X but a different
> ID register says we don't have FEAT_X), what happens ?
> Do we catch and reject that? Does the kernel reject that?
> Or do we just report to the guest what the user asked for,
> and if they asked for something broken they can keep both
> pieces ?

I fully expect the latter. Neither the kernel nor QEMU can enforce
this short of encoding all the various dependencies, which have the
horrible habit of changing over time. The only thing we can
realistically reason about is a single idreg at a time.

Thanks,

	M.

-- 
Jazz isn't dead. It just smells funny.

  reply	other threads:[~2026-05-15  9:01 UTC|newest]

Thread overview: 39+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2026-05-03  7:33 [PATCH v4 00/17] kvm/arm: Introduce a customizable aarch64 KVM host model Eric Auger
2026-05-03  7:33 ` [PATCH v4 01/17] scripts: introduce scripts/update-aarch64-cpu-sysregs-header.py Eric Auger
2026-05-03  7:33 ` [PATCH v4 02/17] target/arm/cpu-sysregs.h.inc: Sort by name alphabetical order Eric Auger
2026-05-06 16:10   ` Shameer Kolothum Thodi
2026-05-12  6:24     ` Eric Auger
2026-05-03  7:33 ` [PATCH v4 03/17] target/arm/cpu-sysregs.h.inc: Update with automatic generation Eric Auger
2026-05-07  8:45   ` Shameer Kolothum Thodi
2026-05-12  6:38     ` Eric Auger
2026-05-12  9:41       ` Shameer Kolothum Thodi
2026-05-12 14:11         ` Eric Auger
2026-05-03  7:33 ` [PATCH v4 04/17] arm/cpu: Add infra to handle generated ID register definitions Eric Auger
2026-05-07  8:58   ` Shameer Kolothum Thodi
2026-05-12 14:52     ` Eric Auger
2026-05-03  7:33 ` [PATCH v4 05/17] scripts: Introduce scripts/aarch64_sysreg_helpers module Eric Auger
2026-05-03  7:33 ` [PATCH v4 06/17] scripts: Introduce scripts/update-aarch64-cpu-sysreg-properties.py Eric Auger
2026-05-03  7:33 ` [PATCH v4 07/17] target/arm/cpu-sysreg-properties.c: Generate code with new script Eric Auger
2026-05-03  7:33 ` [PATCH v4 08/17] target/arm/kvm: Introduce kvm_get_writable_id_regs Eric Auger
2026-05-07 10:07   ` Shameer Kolothum Thodi
2026-05-12 15:12     ` Eric Auger
2026-05-03  7:33 ` [PATCH v4 09/17] arm/cpu: accessors for writable id registers Eric Auger
2026-05-07 10:32   ` Shameer Kolothum Thodi
2026-05-12 15:33     ` Eric Auger
2026-05-03  7:33 ` [PATCH v4 10/17] arm/kvm: Allow reading all the writable ID registers Eric Auger
2026-05-07 11:50   ` Shameer Kolothum Thodi
2026-05-03  7:33 ` [PATCH v4 11/17] arm/kvm: write back modified ID regs to KVM Eric Auger
2026-05-07 18:53   ` Shameer Kolothum Thodi
2026-05-08 13:03   ` Shameer Kolothum Thodi
2026-05-03  7:33 ` [PATCH v4 12/17] target/arm/kvm: Introduce kvm_arm_expose_idreg_properties Eric Auger
2026-05-07 19:10   ` Shameer Kolothum Thodi
2026-05-03  7:33 ` [PATCH v4 13/17] target/arm/kvm: Special case REVIDR_EL1 and AIDR_EL1 Eric Auger
2026-05-03  7:33 ` [PATCH v4 14/17] target/arm/kvm: Special case ID_AA64ISAR0_EL1 RES0 [24, 27] bits Eric Auger
2026-05-03  7:33 ` [PATCH v4 15/17] arm/cpu: Expose writable ID reg field properties on the kvm host vcpu model Eric Auger
2026-05-07 19:22   ` Shameer Kolothum Thodi
2026-05-03  7:33 ` [PATCH v4 16/17] arm-qmp-cmds: introspection for ID register props Eric Auger
2026-05-03  7:33 ` [PATCH v4 17/17] arm/cpu-features: document ID reg properties Eric Auger
2026-05-07 19:44   ` Shameer Kolothum Thodi
2026-05-15  8:31 ` [PATCH v4 00/17] kvm/arm: Introduce a customizable aarch64 KVM host model Peter Maydell
2026-05-15  9:04   ` Marc Zyngier [this message]
2026-05-15 16:41     ` Eric Auger

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=87pl2x9h7g.wl-maz@kernel.org \
    --to=maz@kernel.org \
    --cc=abologna@redhat.com \
    --cc=armbru@redhat.com \
    --cc=berrange@redhat.com \
    --cc=cohuck@redhat.com \
    --cc=eric.auger.pro@gmail.com \
    --cc=eric.auger@redhat.com \
    --cc=jdenemar@redhat.com \
    --cc=kvmarm@lists.linux.dev \
    --cc=oliver.upton@linux.dev \
    --cc=pbonzini@redhat.com \
    --cc=peter.maydell@linaro.org \
    --cc=philmd@linaro.org \
    --cc=qemu-arm@nongnu.org \
    --cc=qemu-devel@nongnu.org \
    --cc=richard.henderson@linaro.org \
    --cc=sebott@redhat.com \
    --cc=skolothumtho@nvidia.com \
    /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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.