Re: [PATCH v2 3/5] verification/rvgen/ltl: Support per-cpu monitor generation

From: Nam Cao
Date: Fri Aug 08 2025 - 02:31:08 EST

Next message: K Prateek Nayak: "Re: [RFC PATCH 1/1] KVM: SEV: Add support for SMT Protection"
Previous message: Laurent Pinchart: "Re: [PATCH 27/65] media: Reset file->private_data to NULL in v4l2_fh_del()"
In reply to: Gabriele Monaco: "Re: [PATCH v2 3/5] verification/rvgen/ltl: Support per-cpu monitor generation"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Gabriele Monaco <gmonaco@xxxxxxxxxx> writes:
> Mind I don't say you should change the value passed to ltl_target_init
> nor change your logic, I only mean /online/ isn't the right word here.
>
> Does this make more sense?

Yes, thanks for the elaboration!

Nam

Next message: K Prateek Nayak: "Re: [RFC PATCH 1/1] KVM: SEV: Add support for SMT Protection"
Previous message: Laurent Pinchart: "Re: [PATCH 27/65] media: Reset file->private_data to NULL in v4l2_fh_del()"
In reply to: Gabriele Monaco: "Re: [PATCH v2 3/5] verification/rvgen/ltl: Support per-cpu monitor generation"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]