David Woodhouse 8ac98aedda include: update Xen public headers to Xen 4.17.2 release ...

... in order to advertise the XEN_HVM_CPUID_UPCALL_VECTOR feature,
which will come in a subsequent commit.

Signed-off-by: David Woodhouse <dwmw@amazon.co.uk>
Acked-by: Paul Durrant <paul@xen.org>

2023-11-07 08:54:20 +00:00

..

cpuid.h

…

xen-x86_32.h

…

xen-x86_64.h

…

xen.h

…