Linux KVM/arm64 development list
 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 20/22] KVM: arm64: selftests: Only test AF behavior for emulated AT insns
Date: Mon, 28 Sep 2026 17:01:48 +0100	[thread overview]
Message-ID: <arqPbFRxSVfYTuRS@LeoBrasDK> (raw)
In-Reply-To: <20260623184201.1518871-21-oupton@kernel.org>

On Tue, Jun 23, 2026 at 11:41:59AM -0700, Oliver Upton wrote:
> The original intent of the test was to test KVM's slowpath AT emulation,
> specifically including a test for KVM's IMP DEF choice that AT
> instructions set the access flag.
> 
> While it is possible to force AT instructions to take the slow path in
> KVM, this is only effective for an out-of-context regime wherein the
> stage-2 translations are guaranteed to be invalid. As such, the
> inclusion of AT S1E2* instructions muddied this a bit, as they operate
> on the in-context EL2&0 regime.
> 
> Restore the original intent of the test and get rid of the AT S1E2* test
> cases entirely.
> 
> Signed-off-by: Oliver Upton <oupton@kernel.org>
> ---
>  tools/testing/selftests/kvm/arm64/at.c | 38 ++++++++++++++++----------
>  1 file changed, 24 insertions(+), 14 deletions(-)
> 
> diff --git a/tools/testing/selftests/kvm/arm64/at.c b/tools/testing/selftests/kvm/arm64/at.c
> index ce5d312ef6ba..d7289f3df04f 100644
> --- a/tools/testing/selftests/kvm/arm64/at.c
> +++ b/tools/testing/selftests/kvm/arm64/at.c
> @@ -13,6 +13,7 @@
>  
>  enum {
>  	CLEAR_ACCESS_FLAG,
> +	TEST_ACCESS_FLAG,
>  };
>  
>  static u64 *ptep_hva;
> @@ -48,21 +49,12 @@ do {											\
>  		GUEST_ASSERT_EQ(FIELD_GET(SYS_PAR_EL1_ATTR, par), MAIR_ATTR_NORMAL);	\
>  		GUEST_ASSERT_EQ(FIELD_GET(SYS_PAR_EL1_SH, par), PTE_SHARED >> 8);	\
>  		GUEST_ASSERT_EQ(par & SYS_PAR_EL1_PA, TEST_ADDR);			\
> +		GUEST_SYNC(TEST_ACCESS_FLAG);						\
>  	}										\
>  } while (0)
>  
>  static void test_at(bool expect_fault)
>  {
> -	test_at_insn(S1E2R, expect_fault);
> -	test_at_insn(S1E2W, expect_fault);

This seems to be the getting rid of AT S1E2* tests.

> -
> -	/* Reuse the stage-1 MMU context from EL2 at EL1 */
> -	copy_el2_to_el1(SCTLR);
> -	copy_el2_to_el1(MAIR);
> -	copy_el2_to_el1(TCR);
> -	copy_el2_to_el1(TTBR0);
> -	copy_el2_to_el1(TTBR1);
> -
>  	/* Disable stage-2 translation and enter a non-host context */
>  	write_sysreg(0, vtcr_el2);
>  	write_sysreg(0, vttbr_el2);
> @@ -71,11 +63,21 @@ static void test_at(bool expect_fault)
>  
>  	test_at_insn(S1E1R, expect_fault);
>  	test_at_insn(S1E1W, expect_fault);
> +
> +	sysreg_clear_set(hcr_el2, 0, HCR_EL2_TGE | HCR_EL2_VM);
> +	isb();

Setting bits that were clean in the start.

>  }
>  
>  static void guest_code(void)
>  {
> -	sysreg_clear_set(tcr_el1, TCR_HA, 0);
> +	/* Reuse the stage-1 MMU context from EL2 at EL1 */
> +	copy_el2_to_el1(SCTLR);
> +	copy_el2_to_el1(MAIR);
> +	copy_el2_to_el1(TCR);
> +	copy_el2_to_el1(TTBR0);
> +	copy_el2_to_el1(TTBR1);

Set them only once instead of on every test, since they should not change.

> +
> +	sysreg_clear_set_s(SYS_TCR_EL12, TCR_HA, 0);
>  	isb();
>  
>  	test_at(true);
> @@ -83,7 +85,11 @@ static void guest_code(void)
>  	if (!SYS_FIELD_GET(ID_AA64MMFR1_EL1, HAFDBS, read_sysreg(id_aa64mmfr1_el1)))
>  		GUEST_DONE();
>  
> -	sysreg_clear_set(tcr_el1, 0, TCR_HA);
> +	/*
> +	 * KVM's software PTW makes the implementation choice that the AT
> +	 * instruction sets the access flag.
> +	 */
> +	sysreg_clear_set_s(SYS_TCR_EL12, 0, TCR_HA);

clear_set -> clear_set_s and added some docs

>  	isb();
>  	test_at(false);
>  
> @@ -96,8 +102,8 @@ static void handle_sync(struct kvm_vcpu *vcpu, struct ucall *uc)
>  	case CLEAR_ACCESS_FLAG:
>  		/*
>  		 * Delete + reinstall the memslot to invalidate stage-2
> -		 * mappings of the stage-1 page tables, allowing KVM to
> -		 * potentially use the 'slow' AT emulation path.
> +		 * mappings of the stage-1 page tables, forcing KVM to
> +		 * use the 'slow' AT emulation path.

After the removal of AT S1E2*, this should always cause KVM to use the 
slow path.

>  		 *
>  		 * This and clearing the access flag from host userspace
>  		 * ensures that the access flag cannot be set speculatively
> @@ -106,6 +112,10 @@ static void handle_sync(struct kvm_vcpu *vcpu, struct ucall *uc)
>  		clear_bit(__ffs(PTE_AF), ptep_hva);
>  		vm_mem_region_reload(vcpu->vm, vcpu->vm->memslots[MEM_REGION_PT]);
>  		break;
> +	case TEST_ACCESS_FLAG:
> +		TEST_ASSERT(test_bit(__ffs(PTE_AF), ptep_hva),
> +			    "Expected access flag to be set (desc: %lu)", *ptep_hva);
> +		break;

For testing the access flag when a fault is not expected, during the AT 
test.

If I got the reasonings above correctly, then FWIW:
Reviewed-by: Leonardo Bras <leo.bras@arm.com>

Thanks!
Leo

  reply	other threads:[~2026-09-28 16:01 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
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 [this message]
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=arqPbFRxSVfYTuRS@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 a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox