|
guest.h
|
hv: vmx: add vpid support
|
2018-06-04 17:11:15 +08:00 |
|
pm.h
|
license: Replace license text with SPDX tag
|
2018-06-01 10:43:06 +08:00 |
|
ucode.h
|
license: Replace license text with SPDX tag
|
2018-06-01 10:43:06 +08:00 |
|
vcpu.h
|
hv: vcpu reschedule change to improve performance
|
2018-07-13 08:57:31 +08:00 |
|
vioapic.h
|
initial import
|
2018-05-11 14:44:28 +08:00 |
|
vlapic.h
|
hv: vlapic: simple vlapic_rd/wr input
|
2018-05-15 17:19:38 +08:00 |
|
vm.h
|
vm: remove current_vcpu from vm structure
|
2018-06-07 12:28:18 +08:00 |
|
vpic.h
|
initial import
|
2018-05-11 14:44:28 +08:00 |
