diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2018-03-13 09:38:18 +0100 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2018-03-13 12:02:32 +0100 |
| commit | 9f2d175db5c29b23bc1a560041043d0b10ee57dc (patch) | |
| tree | 866271220653d6776f45eef4256151df4d82229d /device_tree.c | |
| parent | fb5fff15881ba7a002924b967eb211c002897983 (diff) | |
update Linux headers to 4.16-rc5
Note that VIRTIO_GPU_CAPSET_VIRGL2 was added manually so it has to be added
manually after re-running scripts/update-linux-headers.sh.
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'device_tree.c')
0 files changed, 0 insertions, 0 deletions