|
kvm.h
|
linux-headers: update
|
2018-01-22 11:07:47 +01:00 |
|
kvm_para.h
|
linux-headers: update to 4.15-rc1
|
2017-12-13 17:59:23 +00:00 |
|
psci.h
|
linux-headers: update to 4.15-rc1
|
2017-12-13 17:59:23 +00:00 |
|
userfaultfd.h
|
linux-headers: update to 4.15-rc1
|
2017-12-13 17:59:23 +00:00 |
|
vfio.h
|
linux-headers: update to 4.15-rc1
|
2017-12-13 17:59:23 +00:00 |
|
vfio_ccw.h
|
linux-headers: update to 4.15-rc1
|
2017-12-13 17:59:23 +00:00 |
|
vhost.h
|
linux-headers: update to 4.15-rc1
|
2017-12-13 17:59:23 +00:00 |