ede146c2e7
VMX requires 64-bit feature words for the IA32_VMX_EPT_VPID_CAP and IA32_VMX_BASIC MSRs. (The VMX control MSRs are 64-bit wide but actually have only 32 bits of information). Signed-off-by: Paolo Bonzini <pbonzini@redhat.com> |
||
|---|---|---|
| .. | ||
| accel.h | ||
| arch_init.h | ||
| balloon.h | ||
| block-backend.h | ||
| blockdev.h | ||
| bt.h | ||
| cpus.h | ||
| cryptodev-vhost-user.h | ||
| cryptodev-vhost.h | ||
| cryptodev.h | ||
| device_tree.h | ||
| dma.h | ||
| dump-arch.h | ||
| dump.h | ||
| hax.h | ||
| hostmem.h | ||
| hvf.h | ||
| hw_accel.h | ||
| iothread.h | ||
| kvm_int.h | ||
| kvm.h | ||
| memory_mapping.h | ||
| numa.h | ||
| os-posix.h | ||
| os-win32.h | ||
| qtest.h | ||
| replay.h | ||
| reset.h | ||
| rng-random.h | ||
| rng.h | ||
| runstate.h | ||
| seccomp.h | ||
| sev.h | ||
| sysemu.h | ||
| tcg.h | ||
| tpm_backend.h | ||
| tpm.h | ||
| vhost-user-backend.h | ||
| watchdog.h | ||
| whpx.h | ||
| xen-mapcache.h | ||