Re: [RFC PATCH 2/4] hw/acpi: add new fields in VMClock ABI

[David Woodhouse <dwmw2@infradead.org>]

[-- Attachment #1: Type: text/plain, Size: 1244 bytes --]

On Mon, 2025-12-01 at 14:04 +0100, Cornelia Huck wrote:
> On Mon, Dec 01 2025, "Chalios, Babis" <bchalios@amazon.es> wrote:
> 
> > VMClock now supports a vm_generation_counter field in the struct it
> > exposes to userspace. The field signals a disruption that happened due
> > to a guest loaded from a snapshot.
> > 
> > Moreover, VMClock now optionally supports device notifications when the
> > seq_count changes to a new even value.
> > 
> > Signed-off-by: Babis Chalios <bchalios@amazon.es>
> > ---
> >  include/standard-headers/linux/vmclock-abi.h | 20 ++++++++++++++++++++
> >  1 file changed, 20 insertions(+)
> 
> Please either do a full linux-headers update against a specific Linux
> kernel version, or mark this as a placeholder patch if the code is not
> yet merged.

The Linux patches are being posted simultaneously, so they'll be in
Linux 6.20 (7.0?) at the earliest. We'll want to ingest the update
before then.

The intent is not for the Linux source to be the canonical definition
of the data structure; we *are* working on publishing the spec, and
Babis referenced the current draft. It isn't in the form of C source
code though, so I suspect it makes sense to keep including the Linux
header?

[-- Attachment #2: smime.p7s --]
[-- Type: application/pkcs7-signature, Size: 5069 bytes --]