Paolo Bonzini da054c646c include: update Linux headers to 4.21-rc1/5.0-rc1 ...

This is simply running the newly-updated script on Linux, in
order to obtain the new header files and all the other updates
from the recent Linux merge window.

Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Reviewed-by: Michael S. Tsirkin <mst@redhat.com>
Signed-off-by: Michael S. Tsirkin <mst@redhat.com>

2019-02-04 00:08:58 -05:00

5.0 KiB

Raw Blame History

View Raw