Message ID | 20250116140315.2455143-2-dwmw2@infradead.org (mailing list archive) |
---|---|
State | New |
Headers | show |
Series | hw/acpi: Add vmclock device | expand |
On Thu, Jan 16 2025, David Woodhouse <dwmw2@infradead.org> wrote: > From: David Woodhouse <dwmw@amazon.co.uk> > > This isn't a Linux-specific ABI but Linux does export the header file > with its definition, so import it from there instead of creating our own. > > Signed-off-by: David Woodhouse <dwmw@amazon.co.uk> > Acked-by: Michael S. Tsirkin <mst@redhat.com> > --- > scripts/update-linux-headers.sh | 1 + > 1 file changed, 1 insertion(+) Acked-by: Cornelia Huck <cohuck@redhat.com>
diff --git a/scripts/update-linux-headers.sh b/scripts/update-linux-headers.sh index 99a8d9fa4c..8913e4fb99 100755 --- a/scripts/update-linux-headers.sh +++ b/scripts/update-linux-headers.sh @@ -258,6 +258,7 @@ for i in "$hdrdir"/include/linux/*virtio*.h \ "$hdrdir/include/linux/kernel.h" \ "$hdrdir/include/linux/kvm_para.h" \ "$hdrdir/include/linux/vhost_types.h" \ + "$hdrdir/include/linux/vmclock-abi.h" \ "$hdrdir/include/linux/sysinfo.h"; do cp_portable "$i" "$output/include/standard-headers/linux" done