.. |
amd
|
Maintain state regarding NMI delivery to guest vcpu in VT-x independent manner.
|
2012-10-24 02:54:21 +00:00 |
intel
|
Get rid of redundant comparision which is guaranteed to be "true" for unsigned
|
2012-11-22 00:08:20 +00:00 |
io
|
Calculate the number of host ticks until the next guest timer interrupt.
|
2012-10-20 08:23:05 +00:00 |
vmm_dev.c
|
Provide per-vcpu locks instead of relying on a single big lock.
|
2012-10-12 18:32:44 +00:00 |
vmm_host.c
|
Corral all the host state associated with the virtual machine into its own file.
|
2012-10-29 01:51:24 +00:00 |
vmm_host.h
|
Corral all the host state associated with the virtual machine into its own file.
|
2012-10-29 01:51:24 +00:00 |
vmm_instruction_emul.c
|
Get rid of assumptions in the hypervisor that the host physical memory
|
2012-10-03 01:18:51 +00:00 |
vmm_instruction_emul.h
|
Intel VT-x provides the length of the instruction at the time of the nested
|
2012-09-27 00:27:58 +00:00 |
vmm_ipi.c
|
Provide per-vcpu locks instead of relying on a single big lock.
|
2012-10-12 18:32:44 +00:00 |
vmm_ipi.h
|
Provide per-vcpu locks instead of relying on a single big lock.
|
2012-10-12 18:32:44 +00:00 |
vmm_ktr.h
|
|
|
vmm_lapic.c
|
Calculate the number of host ticks until the next guest timer interrupt.
|
2012-10-20 08:23:05 +00:00 |
vmm_lapic.h
|
Calculate the number of host ticks until the next guest timer interrupt.
|
2012-10-20 08:23:05 +00:00 |
vmm_mem.c
|
Set the valid field of the newly allocated field as all other
|
2012-10-26 22:32:26 +00:00 |
vmm_mem.h
|
Allocate memory pages for the guest from the host's free page queue.
|
2012-10-08 23:41:26 +00:00 |
vmm_msr.c
|
Restructure the x2apic access code in preparation for supporting memory mapped
|
2012-09-21 03:09:23 +00:00 |
vmm_msr.h
|
|
|
vmm_stat.c
|
|
|
vmm_stat.h
|
|
|
vmm_support.S
|
|
|
vmm_util.c
|
|
|
vmm_util.h
|
|
|
vmm.c
|
Corral all the host state associated with the virtual machine into its own file.
|
2012-10-29 01:51:24 +00:00 |
x86.c
|
Handle CPUID leaf 0x7 now that FreeBSD is using it.
|
2012-11-20 06:01:03 +00:00 |
x86.h
|
Handle CPUID leaf 0x7 now that FreeBSD is using it.
|
2012-11-20 06:01:03 +00:00 |