linux-headers: Add vmclock-abi.h

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>
Reviewed-by: Michael S. Tsirkin <mst@redhat.com>

diff --git a/scripts/update-linux-headers.sh b/scripts/update-linux-headers.sh
index 99a8d9fa4c2863ac26fcfd3375f15ae1f23b8983..8913e4fb99b7d6589dd90143cec407b0f0cf6301 100755 (executable)
--- 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