On Fri,  2 Oct 2020 16:06:25 -0400
Matthew Rosato <[email protected]> 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 <[email protected]>
> ---
>  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 <[email protected]>


Reply via email to