All of lore.kernel.org
 help / color / mirror / Atom feed
From: Leonardo Bras <leo.bras@arm.com>
To: Oliver Upton <oupton@kernel.org>
Cc: Leonardo Bras <leo.bras@arm.com>,
	kvmarm@lists.linux.dev, Marc Zyngier <maz@kernel.org>,
	Joey Gouly <joey.gouly@arm.com>,
	Suzuki K Poulose <suzuki.poulose@arm.com>,
	Zenghui Yu <yuzenghui@huawei.com>,
	Wei-Lin Chang <weilin.chang@arm.com>,
	Steffen Eiden <seiden@linux.ibm.com>
Subject: Re: [PATCH 09/22] KVM: arm64: Compute S1 permissions as part of s1_walk()
Date: Wed, 23 Sep 2026 16:47:50 +0100	[thread overview]
Message-ID: <arP0pquAK8KvnAR8@LeoBrasDK> (raw)
In-Reply-To: <20260623184201.1518871-10-oupton@kernel.org>

On Tue, Jun 23, 2026 at 11:41:48AM -0700, Oliver Upton wrote:
> Implementing support for hardware dirty state means that the table
> walker needs to have visibility into the permissions on the final
> translation.
> 
> Compute the S1 permissions as part of s1_walk() and initialize
> s1_walk_result before checking all fault conditions. The appropriate
> fields will be reinitialized if the walk happens to fail at a later
> point.
> 
> Signed-off-by: Oliver Upton <oupton@kernel.org>
> ---
>  arch/arm64/kvm/at.c | 41 ++++++++++++++++++++---------------------
>  1 file changed, 20 insertions(+), 21 deletions(-)
> 
> diff --git a/arch/arm64/kvm/at.c b/arch/arm64/kvm/at.c
> index 083014e9d86a..6930bc3bc86b 100644
> --- a/arch/arm64/kvm/at.c
> +++ b/arch/arm64/kvm/at.c
> @@ -461,6 +461,10 @@ static int kvm_swap_s1_desc(struct kvm_vcpu *vcpu, u64 pa, u64 old, u64 new,
>  	return __kvm_at_swap_desc(vcpu->kvm, pa, old, new);
>  }
>  
> +static void compute_s1_permissions(struct kvm_vcpu *vcpu,
> +				   struct s1_walk_info *wi,
> +				   struct s1_walk_result *wr);
> +
>  static int walk_s1(struct kvm_vcpu *vcpu, struct s1_walk_info *wi,
>  		   struct s1_walk_result *wr, u64 va)
>  {
> @@ -590,6 +594,20 @@ static int walk_s1(struct kvm_vcpu *vcpu, struct s1_walk_info *wi,
>  	if (check_output_size(baddr & GENMASK(52, va_bottom), wi))
>  		goto addrsz;
>  
> +	va_bottom += contiguous_bit_shift(desc, wi, level);
> +
> +	wr->failed = false;
> +	wr->level = level;
> +	wr->desc = desc;
> +	wr->pa = baddr & GENMASK(52, va_bottom);
> +	wr->pa |= va & GENMASK_ULL(va_bottom - 1, 0);
> +
> +	wr->nG = (wi->regime != TR_EL2) && (desc & PTE_NG);
> +	if (wr->nG)
> +		wr->asid = get_asid_by_regime(vcpu, wi->regime);
> +
> +	compute_s1_permissions(vcpu, wi, wr);
> +
>  	if (wi->ha)
>  		new_desc |= PTE_AF;
>  
> @@ -615,18 +633,6 @@ static int walk_s1(struct kvm_vcpu *vcpu, struct s1_walk_info *wi,
>  		return -EACCES;
>  	}
>  
> -	va_bottom += contiguous_bit_shift(desc, wi, level);
> -
> -	wr->failed = false;
> -	wr->level = level;
> -	wr->desc = desc;
> -	wr->pa = baddr & GENMASK(52, va_bottom);
> -	wr->pa |= va & GENMASK_ULL(va_bottom - 1, 0);
> -
> -	wr->nG = (wi->regime != TR_EL2) && (desc & PTE_NG);
> -	if (wr->nG)
> -		wr->asid = get_asid_by_regime(vcpu, wi->regime);
> -
>  	return 0;
>  
>  addrsz:
> @@ -1365,8 +1371,6 @@ static int handle_at_slow(struct kvm_vcpu *vcpu, u32 op, u64 vaddr, u64 *par)
>  	if (ret)
>  		goto compute_par;
>  
> -	compute_s1_permissions(vcpu, &wi, &wr);
> -
>  	switch (op) {
>  	case OP_AT_S1E1RP:
>  	case OP_AT_S1E1R:


Up to this point, everything seems straightforward with the commit message:
wr setting is moved up in walk_s1(), and compute_s1_permissions() is moved 
to inside walk_s1(), from it's place in handle_at_slow() where it was 
called after walk_s1() so it should be fine for any other user that needed 
it before. 

> @@ -1690,15 +1694,10 @@ int __kvm_translate_va(struct kvm_vcpu *vcpu, struct s1_walk_info *wi,
>  	if (wr->level == S1_MMU_DISABLED) {
>  		wr->ur = wr->uw = wr->ux = true;
>  		wr->pr = wr->pw = wr->px = true;
> -	} else {
> -		ret = walk_s1(vcpu, wi, wr, va);
> -		if (ret)
> -			return ret;
> -
> -		compute_s1_permissions(vcpu, wi, wr);
> +		return 0;
>  	}
>  
> -	return 0;
> +	return walk_s1(vcpu, wi, wr, va);
>  }

Here the else clause is optimized-out, as the if returns in the end.
Since you run compute_s1_permissions() inside walk_s1() now, there is no 
need to test walk_s1() return value anymore. Good improvement.

FWIW:
Reviewed-by: Leonardo Bras <leo.bras@arm.com>

Thanks!
Leo

  reply	other threads:[~2026-09-23 15:47 UTC|newest]

Thread overview: 90+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2026-06-23 18:41 [PATCH 00/22] KVM: arm64: nv: Implement FEAT_HAFDBS, FEAT_HAFT Oliver Upton
2026-06-23 18:41 ` [PATCH 01/22] KVM: arm64: nv: Introduce struct for stage-2 walk step Oliver Upton
2026-09-21 11:30   ` Leonardo Bras
2026-06-23 18:41 ` [PATCH 02/22] KVM: arm64: nv: Consolidate computation of stage-2 permissions Oliver Upton
2026-06-23 18:57   ` sashiko-bot
2026-09-21 13:46   ` Leonardo Bras
2026-09-21 21:28     ` Oliver Upton
2026-06-23 18:41 ` [PATCH 03/22] KVM: arm64: nv: Get rid of kvm_s2_trans*() accessors Oliver Upton
2026-09-21 16:18   ` Leonardo Bras
2026-06-23 18:41 ` [PATCH 04/22] KVM: arm64: nv: Only shadow writable-dirty guest descs as writable Oliver Upton
2026-06-23 18:58   ` sashiko-bot
2026-06-23 20:05     ` Oliver Upton
2026-09-21 16:51   ` Leonardo Bras
2026-09-21 21:39     ` Oliver Upton
2026-06-23 18:41 ` [PATCH 05/22] KVM: arm64: nv: Pass an access descriptor for stage-2 walks Oliver Upton
2026-06-23 19:06   ` sashiko-bot
2026-09-21 17:28   ` Leonardo Bras
2026-09-21 21:45     ` Oliver Upton
2026-09-22 14:24       ` Leonardo Bras
2026-06-23 18:41 ` [PATCH 06/22] KVM: arm64: nv: Use a helper for stage-2 descriptor updates Oliver Upton
2026-09-22 16:14   ` Leonardo Bras
2026-09-22 16:31     ` Oliver Upton
2026-06-23 18:41 ` [PATCH 07/22] KVM: arm64: nv: Set dirty state at stage-2 Oliver Upton
2026-06-23 19:03   ` sashiko-bot
2026-07-06 16:50   ` Wei-Lin Chang
2026-07-08  7:35     ` Oliver Upton
2026-09-23 14:09   ` Leonardo Bras
2026-09-23 16:46     ` Oliver Upton
2026-06-23 18:41 ` [PATCH 08/22] KVM: arm64: nv: Treat DBM as writable " Oliver Upton
2026-06-23 18:55   ` sashiko-bot
2026-06-23 20:08     ` Oliver Upton
2026-09-23 14:38   ` Leonardo Bras
2026-09-23 17:16     ` Oliver Upton
2026-09-24 17:22       ` Leonardo Bras
2026-06-23 18:41 ` [PATCH 09/22] KVM: arm64: Compute S1 permissions as part of s1_walk() Oliver Upton
2026-09-23 15:47   ` Leonardo Bras [this message]
2026-06-23 18:41 ` [PATCH 10/22] KVM: arm64: Plumb through access descriptor for stage-1 Oliver Upton
2026-09-23 16:21   ` Leonardo Bras
2026-09-23 20:37     ` Oliver Upton
2026-09-25 11:10       ` Leonardo Bras
2026-06-23 18:41 ` [PATCH 11/22] KVM: arm64: Use a struct for stage-1 walk context Oliver Upton
2026-09-23 17:03   ` Leonardo Bras
2026-09-23 20:23     ` Oliver Upton
2026-09-25 11:20       ` Leonardo Bras
2026-06-23 18:41 ` [PATCH 12/22] KVM: arm64: Create helper for stage-1 descriptor updates Oliver Upton
2026-06-23 18:55   ` sashiko-bot
2026-09-25 14:35   ` Leonardo Bras
2026-06-23 18:41 ` [PATCH 13/22] KVM: arm64: Set dirty state at stage-1 Oliver Upton
2026-06-23 18:54   ` sashiko-bot
2026-06-26 15:49   ` Leonardo Bras
2026-06-26 16:03     ` Marc Zyngier
2026-06-29 10:38       ` Leonardo Bras
2026-06-26 17:35     ` Oliver Upton
2026-06-29 10:39       ` Leonardo Bras
2026-09-25 15:07   ` Leonardo Bras
2026-06-23 18:41 ` [PATCH 14/22] KVM: arm64: Grant write permission when DBM is set at S1 Oliver Upton
2026-06-23 18:57   ` sashiko-bot
2026-09-25 15:18   ` Leonardo Bras
2026-06-23 18:41 ` [PATCH 15/22] KVM: arm64: Don't update descriptors for "non-arch" access Oliver Upton
2026-09-25 15:51   ` Leonardo Bras
2026-06-23 18:41 ` [PATCH 16/22] KVM: arm64: nv: Expose FEAT_HAFDBS Oliver Upton
2026-06-23 19:01   ` sashiko-bot
2026-09-25 15:53   ` Leonardo Bras
2026-06-23 18:41 ` [PATCH 17/22] KVM: arm64: Set Access flag on table descriptors at stage-1 Oliver Upton
2026-06-23 20:56   ` sashiko-bot
2026-09-28 14:33   ` Leonardo Bras
2026-06-23 18:41 ` [PATCH 18/22] KVM: arm64: nv: Set access flag on table descriptors at stage-2 Oliver Upton
2026-06-23 19:05   ` sashiko-bot
2026-06-23 20:14     ` Oliver Upton
2026-09-28 14:40   ` Leonardo Bras
2026-06-23 18:41 ` [PATCH 19/22] KVM: arm64: nv: Expose FEAT_HAFT Oliver Upton
2026-06-23 19:05   ` sashiko-bot
2026-09-28 14:42   ` Leonardo Bras
2026-06-23 18:41 ` [PATCH 20/22] KVM: arm64: selftests: Only test AF behavior for emulated AT insns Oliver Upton
2026-09-28 16:01   ` Leonardo Bras
2026-06-23 18:42 ` [PATCH 21/22] KVM: arm64: selftests: Test AT emulation for FEAT_HAFT Oliver Upton
2026-06-23 19:05   ` sashiko-bot
2026-06-23 20:17     ` Oliver Upton
2026-09-28 17:06   ` Leonardo Bras
2026-06-23 18:42 ` [PATCH 22/22] HACK: KVM: arm64: nv: Set the dirty state for CMOs that fetch for write Oliver Upton
2026-07-01 10:16   ` Wei-Lin Chang
2026-07-01 17:33     ` Oliver Upton
2026-07-02  6:50       ` Wei-Lin Chang
2026-09-28 17:21   ` Leonardo Bras
2026-06-26 15:31 ` [PATCH 00/22] KVM: arm64: nv: Implement FEAT_HAFDBS, FEAT_HAFT Leonardo Bras
2026-06-26 17:12   ` Marc Zyngier
2026-06-26 17:45     ` Oliver Upton
2026-06-29 10:37       ` Leonardo Bras
2026-06-29 10:29     ` Leonardo Bras
2026-09-18 14:55 ` Leonardo Bras

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=arP0pquAK8KvnAR8@LeoBrasDK \
    --to=leo.bras@arm.com \
    --cc=joey.gouly@arm.com \
    --cc=kvmarm@lists.linux.dev \
    --cc=maz@kernel.org \
    --cc=oupton@kernel.org \
    --cc=seiden@linux.ibm.com \
    --cc=suzuki.poulose@arm.com \
    --cc=weilin.chang@arm.com \
    --cc=yuzenghui@huawei.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.