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
next prev parent 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