On Thu, 2024-06-20 at 19:25 +0200, Claudio Imbrenda wrote: > On Thu, 20 Jun 2024 16:17:00 +0200 > Nina Schoetterl-Glausch <nsg@xxxxxxxxxxxxx> wrote: > > > The STFLE instruction indicates installed facilities. > > SIE can interpretively execute STFLE. > > Use a snippet guest executing STFLE to get the result of > > interpretive execution and check the result. > > > > Signed-off-by: Nina Schoetterl-Glausch <nsg@xxxxxxxxxxxxx> > > > [...] > > > > +struct guest_stfle_res { > > + uint16_t len; > > + uint64_t reg; > > you don't really use reg, do you? No, and I don't think I will either, must be some vestige. [...] > > > +int main(int argc, char **argv) > > +{ > > + struct args args = parse_args(argc, argv); > > + > > + if (!sclp_facilities.has_sief2) { > > + report_skip("SIEF2 facility unavailable"); > > + goto out; > > + } > > + > > + report_info("PRNG seed: 0x%lx", args.seed); > > + prng_s = prng_init(args.seed); > > + setup_guest(); > > + if (test_facility(7)) > > + test_stfle_format_0(); > > since STFLE is literally the feature you are testing, maybe you can > just skip, like you did for SIEF2? Yeah, that's better. > > > +out: > > + return report_summary(); > > +} > > diff --git a/s390x/unittests.cfg b/s390x/unittests.cfg > > index 3a9decc9..f2203069 100644 > > --- a/s390x/unittests.cfg > > +++ b/s390x/unittests.cfg > > @@ -392,3 +392,6 @@ file = sie-dat.elf > > > > [pv-attest] > > file = pv-attest.elf > > + > > +[stfle-sie] > > +file = stfle-sie.elf >