Linux KVM/arm64 development list
 help / color / mirror / Atom feed
From: sashiko-bot@kernel.org
To: "Mark Brown" <broonie@kernel.org>
Cc: "Oliver Upton" <oupton@kernel.org>,
	kvmarm@lists.linux.dev, "Marc Zyngier" <maz@kernel.org>
Subject: Re: [PATCH v17 07/14] KVM: arm64: Forward GCS exceptions to nested guests
Date: Fri, 31 Jul 2026 12:58:41 +0000	[thread overview]
Message-ID: <20260731125842.8949D1F000E9@smtp.kernel.org> (raw)
In-Reply-To: <20260731-arm64-gcs-v17-7-5e39ca01b14e@kernel.org>

Thank you for your contribution! Sashiko AI review found 1 potential issue(s) to consider:
- [High] GCS data check exceptions from the L1 hypervisor context incorrectly trigger a host-side WARN_ON_ONCE and an UNDEFINED exception injection instead of being forwarded.
--

--- Patch [7]: [PATCH v17 07/14] KVM: arm64: Forward GCS exceptions to nested guests ---
commit c532b4ba16abdf3ea91375bafb69e02b935e5151
Author: Mark Brown <broonie@kernel.org>

KVM: arm64: Forward GCS exceptions to nested guests

This commit adds handling to forward GCS exceptions to the hypervisor
when a nested guest has HFGITR_EL2.nGCSSTR_EL1 clear or for a GCS data
check exception in an L2 guest.

> diff --git a/arch/arm64/kvm/handle_exit.c b/arch/arm64/kvm/handle_exit.c
> index 54aedf93c78b6..9db3508917937 100644
> --- a/arch/arm64/kvm/handle_exit.c
> +++ b/arch/arm64/kvm/handle_exit.c
[ ... ]
> +/*
> + * We might get GCS exceptions that need to be forwarded to the
> + * hypervisor when a nested guest has HFGITR_EL2.nGCSSTR_EL1 clear, or
> + * for a GCS data check exception for a L2 guest.
> + */
>  static int kvm_handle_gcs(struct kvm_vcpu *vcpu)
>  {
> -	/* We don't expect GCS, so treat it with contempt */
> -	if (kvm_has_feat(vcpu->kvm, ID_AA64PFR1_EL1, GCS, IMP))
> -		WARN_ON_ONCE(1);
> +	if (!kvm_has_gcs(vcpu->kvm)) {
> +		kvm_inject_undefined(vcpu);
> +		return 1;
> +	}
>  
> +	if (is_nested_ctxt(vcpu)) {

[Severity: High]
Does is_nested_ctxt() incorrectly filter out the L1 hypervisor context?

If a VHE L1 hypervisor (or its L1 host userspace) executes a GCS instruction
that generates a GCS data check exception, the hardware targets EL1. Due to
HCR_EL2.NV = 1, this is redirected to L0 KVM.

Since is_nested_ctxt(vcpu) returns false for L1 hypervisor contexts
(because is_hyp_ctxt(vcpu) is true), this check will fail and fall through
to injecting an UNDEFINED exception.

Should this use vcpu_has_nv(vcpu) instead to ensure exceptions from both L1
and L2 contexts are properly forwarded to the virtual EL2?

> +		kvm_inject_nested_sync(vcpu, kvm_vcpu_get_esr(vcpu));
> +		return 1;
> +	}
> +
> +	WARN_ON_ONCE(1);

[Severity: High]
Is it possible for an unprivileged L1 userspace process using GCS to trigger
this WARN_ON_ONCE?

Since the is_nested_ctxt() check above falls through for L1 contexts, a
legitimate GCS fault in L1 (such as mismatching a return address on the shadow
stack) could reach this warning. This would allow an L1 guest to trigger a
host-side kernel warning (kernel log DoS) and crash the L1 VM.

>  	kvm_inject_undefined(vcpu);
>  	return 1;
>  }

-- 
Sashiko AI review · https://sashiko.dev/#/patchset/20260731-arm64-gcs-v17-0-5e39ca01b14e@kernel.org?part=7

  reply	other threads:[~2026-07-31 12:58 UTC|newest]

Thread overview: 22+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2026-07-31 12:25 [PATCH v17 00/14] KVM: arm64: Provide guest support for GCS Mark Brown
2026-07-31 12:25 ` [PATCH v17 01/14] arm64/gcs: Ensure FGTs for EL1 GCS instructions are disabled Mark Brown
2026-07-31 12:25 ` [PATCH v17 02/14] KVM: arm64: Fix FGT mapping for HFGITR_EL2.nGCSEPP Mark Brown
2026-07-31 13:03   ` sashiko-bot
2026-07-31 13:47     ` Mark Brown
2026-07-31 12:25 ` [PATCH v17 03/14] KVM: arm64: Manage GCS access and registers for guests Mark Brown
2026-07-31 12:56   ` sashiko-bot
2026-07-31 15:26     ` Mark Brown
2026-07-31 12:25 ` [PATCH v17 04/14] KVM: arm64: Ensure GCS memory effects are visible Mark Brown
2026-07-31 12:25 ` [PATCH v17 05/14] KVM: arm64: Set PSTATE.EXLOCK when entering an exception Mark Brown
2026-07-31 12:25 ` [PATCH v17 06/14] KVM: arm64: Validate GCS exception lock when emulating ERET Mark Brown
2026-07-31 12:25 ` [PATCH v17 07/14] KVM: arm64: Forward GCS exceptions to nested guests Mark Brown
2026-07-31 12:58   ` sashiko-bot [this message]
2026-07-31 12:25 ` [PATCH v17 08/14] KVM: arm64: Enforce EXLOCK for SPSR and ELR Mark Brown
2026-07-31 12:25 ` [PATCH v17 09/14] KVM: arm64: Allow GCS to be enabled for guests Mark Brown
2026-07-31 12:25 ` [PATCH v17 10/14] KVM: selftests: arm64: Add GCS registers to get-reg-list Mark Brown
2026-07-31 13:03   ` sashiko-bot
2026-07-31 13:31     ` Mark Brown
2026-07-31 12:25 ` [PATCH v17 11/14] KVM: selftests: arm64: Add GCS to set_id_regs Mark Brown
2026-07-31 12:25 ` [PATCH v17 12/14] KVM: selftests: arm64: Only restore SPSR_EL1 and ELR_EL1 if they change Mark Brown
2026-07-31 12:25 ` [PATCH v17 13/14] tools: Synchronise the kernel esr.h Mark Brown
2026-07-31 12:25 ` [PATCH v17 14/14] KVM: selftests: arm64: Add GCS EXLOCK exception emulation test Mark Brown

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=20260731125842.8949D1F000E9@smtp.kernel.org \
    --to=sashiko-bot@kernel.org \
    --cc=broonie@kernel.org \
    --cc=kvmarm@lists.linux.dev \
    --cc=maz@kernel.org \
    --cc=oupton@kernel.org \
    --cc=sashiko-reviews@lists.linux.dev \
    /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