From: Janosch Frank <frankja@linux.ibm.com>
To: "Aaron M. Brown" <aaronmbr@linux.ibm.com>, kvm@vger.kernel.org
Cc: Claudio Imbrenda <imbrenda@linux.ibm.com>,
Christian Borntraeger <borntraeger@linux.ibm.com>,
linux-s390@vger.kernel.org, linux-kselftest@vger.kernel.org,
Nitya Khamar <nkhamar@linux.ibm.com>
Subject: Re: [PATCH 2/6] KVM: s390: selftests: Add SIGP and program exception tests
Date: Fri, 13 Nov 2026 11:21:57 +0100 [thread overview]
Message-ID: <35f1ccbe-41cb-4fe0-894d-2b7c6cb10d93@linux.ibm.com> (raw)
In-Reply-To: <20261110111619.61760-3-aaronmbr@linux.ibm.com>
On 11/10/26 12:16 PM, Aaron M. Brown wrote:
> Add tests for:
>
> - SIGP: a second vCPU stops vCPU 0. Both vCPUs are set to operating
> first, as KVM ignores a stop order sent to a stopped vCPU. Check for
> ICPT_STOP.
> - Addressing exception (DAT off): check for program code 0x05.
> - Segment translation exception (DAT on): check for program code 0x10.
>
> The program new PSW is set to a disabled wait so the guest exits
> deterministically.
>
> Co-developed-by: Nitya Khamar <nkhamar@linux.ibm.com>
> Signed-off-by: Nitya Khamar <nkhamar@linux.ibm.com>
> Signed-off-by: Aaron M. Brown <aaronmbr@linux.ibm.com>
> ---
> tools/testing/selftests/kvm/s390/kvm_exit.c | 146 ++++++++++++++++++++
> 1 file changed, 146 insertions(+)
>
> diff --git a/tools/testing/selftests/kvm/s390/kvm_exit.c b/tools/testing/selftests/kvm/s390/kvm_exit.c
> index 140358357c67..4a6f01ff14ca 100644
> --- a/tools/testing/selftests/kvm/s390/kvm_exit.c
> +++ b/tools/testing/selftests/kvm/s390/kvm_exit.c
> @@ -25,6 +25,12 @@
> #define NUM_GPRS 16
> #define DIAG_ASSEMBLY_CODE 0x501
> #define IPA_DIAG 0x83
> +#define PSW_MASK_64BIT_DAT_OFF 0x0000000180000000ULL
> +#define PGM_CODE_SEGMENT_TRANSLATION 0x10
> +#define PGM_CODE_GPA_ADDRESS 0x8e
> +#define PGM_CODE_MASK 0x7f
> +#define PGM_NEW_PSW_GPA 0x1d0
> +#define PSW_DISABLED_WAIT 0x0002000180000000ULL
>
> static struct kvm_parameters create_vm_kvm_exit(struct kvm_parameters parameters)
> {
> @@ -174,6 +180,134 @@ static bool test_diagnose_conditional_code(void)
> return true;
> }
>
> +/*
> + * Make a program interrupt end in a disabled wait, which KVM reports to
> + * userspace as ICPT_WAIT. This does not depend on how KVM handles
> + * repeated operation exceptions.
> + */
> +static void set_pgm_new_psw_disabled_wait(struct kvm_vm *vm)
> +{
> + uint64_t *new_psw = addr_gpa2hva(vm, PGM_NEW_PSW_GPA);
> +
> + new_psw[0] = PSW_DISABLED_WAIT;
> + new_psw[1] = 0;
> +}
> +
> +static void guestcode_sigp(void)
> +{
> + asm volatile(
> + "lghi %%r3, 0\n"
> + "sigp %%r1, %%r3, 0x05\n"
> + :
> + :
> + : "r1", "r3"
> + );
> + GUEST_DONE();
> +}
> +
> +static bool test_sigp_signals(void)
> +{
> + struct kvm_parameters param = {
> + .guest_code = guestcode_sigp,
> + .manual_parameters.immediate_exit_condition = false,
> + };
> + struct kvm_mp_state mp_state = { .mp_state = KVM_MP_STATE_OPERATING };
> + struct kvm_vcpu *vcpu1;
> + struct kvm_regs regs;
> +
> + ksft_print_msg("Testing SIGP KVM Exit\n");
> + param = create_vm_kvm_exit(param);
> + vcpu1 = vm_vcpu_add(param.vm, 1, guestcode_sigp);
Yeah, this makes the struct in patch 1 even worse.
One VCPU is in the struct, the other one is a local variable...
> + /* New vCPUs are stopped, and KVM ignores a SIGP STOP sent to one */
> + vcpu_mp_state_set(param.vcpu, &mp_state);
> + vcpu_mp_state_set(vcpu1, &mp_state);
> + vcpu_regs_get(param.vcpu, ®s);
> + regs.gprs[3] = 0x3333;
> + vcpu_regs_set(param.vcpu, ®s);
> + vcpu_run(vcpu1);
I'm a huge fan of \n between logical code blocks.
The comments are a good start already but a \n before the comments would
bring it home.
> + /* vcpu1 exits after GUEST_DONE() ucall */
> + TEST_ASSERT_KVM_EXIT_REASON(vcpu1, KVM_EXIT_S390_SIEIC);
> + vcpu_run(param.vcpu);
> + param.run = param.vcpu->run;
> + TEST_ASSERT_KVM_EXIT_REASON(param.vcpu, KVM_EXIT_S390_SIEIC);
> + TEST_ASSERT_EQ(param.run->s390_sieic.icptcode, ICPT_STOP);
> + /*
> + * The pending SIGP STOP stops vcpu0 before it runs any guest code
> + * (the guest would clear r3), so r3 keeps the marker value.
> + */
> + TEST_ASSERT_EQ(param.run->s.regs.gprs[3], 0x3333);
> + cleanup_kvm(¶m);
> + return true;
> +}
> +
[...]
> +
> +static bool test_translation_exceptions(void)
> +{
> + struct kvm_parameters param = {};
> + uint16_t pgm_code;
> +
> + ksft_print_msg("Testing Translation Exception KVM Exit\n");
> + param.guest_code = guestcode_translation_exception;
> + param = create_vm_kvm_exit(param);
> + set_pgm_new_psw_disabled_wait(param.vm);
> + vcpu_run(param.vcpu);
> + param.run = param.vcpu->run;
> + TEST_ASSERT_KVM_EXIT_REASON(param.vcpu, KVM_EXIT_S390_SIEIC);
> + TEST_ASSERT_EQ(param.run->s390_sieic.icptcode, ICPT_WAIT);
> + pgm_code = *(uint16_t *)addr_gpa2hva(param.vm, PGM_CODE_GPA_ADDRESS);
> + TEST_ASSERT((pgm_code & PGM_CODE_MASK) == PGM_CODE_SEGMENT_TRANSLATION,
> + "Expected PGM code 0x10 (segment translation), got 0x%x\n", pgm_code);
> + cleanup_kvm(¶m);
> + return true;
> +}
TBH, I don't know what we gain from these mem exception tests.
In their current state they are HW/FW tests and not KVM tests.
We could test PGM exits but I think I already added PGM forwarding tests
when I added the feature.
For these to have a benefit we'd need to check mem exceptions for
instructions which are actually emulated and not interpreted.
> +
> static void test(void)
> {
> int i;
> @@ -190,6 +324,18 @@ static void test(void)
> .name = "Testing Conditional DIAG Code",
> .test = test_diagnose_conditional_code,
> },
> + {
> + .name = "Testing SIGP Exits",
> + .test = test_sigp_signals,
> + },
> + {
> + .name = "Testing Address Exceptions",
> + .test = test_address_exceptions,
> + },
> + {
> + .name = "Testing Translation Exceptions",
> + .test = test_translation_exceptions,
> + },
> };
>
> ksft_print_header();
next prev parent reply other threads:[~2026-11-13 10:22 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-11-10 11:16 [PATCH 0/6] KVM: s390: selftests: Add selftests for KVM exits on s390x Aaron M. Brown
2026-11-10 11:16 ` [PATCH 1/6] KVM: s390: selftests: Add kvm_exit test for instruction intercepts Aaron M. Brown
2026-11-10 11:30 ` sashiko-bot
2026-11-12 13:45 ` Janosch Frank
2026-11-13 7:35 ` Aaron Brown
2026-11-10 11:16 ` [PATCH 2/6] KVM: s390: selftests: Add SIGP and program exception tests Aaron M. Brown
2026-11-10 11:24 ` sashiko-bot
2026-11-13 10:21 ` Janosch Frank [this message]
2026-11-10 11:16 ` [PATCH 3/6] KVM: s390: selftests: Add wait state and VM lifecycle tests Aaron M. Brown
2026-11-10 11:21 ` sashiko-bot
2026-11-13 10:37 ` Janosch Frank
2026-11-10 11:16 ` [PATCH 4/6] KVM: s390: selftests: Add ucontrol helpers and instruction tests Aaron M. Brown
2026-11-10 11:24 ` sashiko-bot
2026-11-13 10:47 ` Janosch Frank
2026-11-10 11:16 ` [PATCH 5/6] KVM: s390: selftests: Add ucontrol storage key and immediate exit tests Aaron M. Brown
2026-11-10 11:25 ` sashiko-bot
2026-11-10 11:16 ` [PATCH 6/6] KVM: s390: selftests: Add clock comparator interrupt test Aaron M. Brown
2026-11-10 11:23 ` sashiko-bot
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=35f1ccbe-41cb-4fe0-894d-2b7c6cb10d93@linux.ibm.com \
--to=frankja@linux.ibm.com \
--cc=aaronmbr@linux.ibm.com \
--cc=borntraeger@linux.ibm.com \
--cc=imbrenda@linux.ibm.com \
--cc=kvm@vger.kernel.org \
--cc=linux-kselftest@vger.kernel.org \
--cc=linux-s390@vger.kernel.org \
--cc=nkhamar@linux.ibm.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