On Fri, 2 Oct 2020 16:06:25 -0400 Matthew Rosato <mjrosato@xxxxxxxxxxxxx> wrote: > vfio_zdev.h is used by s390x zPCI support to pass device-specific > CLP information between host and userspace. > > Signed-off-by: Matthew Rosato <mjrosato@xxxxxxxxxxxxx> > --- > scripts/update-linux-headers.sh | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/scripts/update-linux-headers.sh b/scripts/update-linux-headers.sh > index 29c27f4..9efbaf2 100755 > --- a/scripts/update-linux-headers.sh > +++ b/scripts/update-linux-headers.sh > @@ -141,7 +141,7 @@ done > > rm -rf "$output/linux-headers/linux" > mkdir -p "$output/linux-headers/linux" > -for header in kvm.h vfio.h vfio_ccw.h vhost.h \ > +for header in kvm.h vfio.h vfio_ccw.h vfio_zdev.h vhost.h \ > psci.h psp-sev.h userfaultfd.h mman.h; do > cp "$tmpdir/include/linux/$header" "$output/linux-headers/linux" > done Obviously requires the kernel part to be merged first, but Acked-by: Cornelia Huck <cohuck@xxxxxxxxxx>
