| .. |
|
amd
|
Maintain state regarding NMI delivery to guest vcpu in VT-x independent manner.
|
2012-10-24 02:54:21 +00:00 |
|
intel
|
Allocate VPIDs by using the unit number allocator to keep do the bookkeeping.
|
2013-09-07 05:30:34 +00:00 |
|
io
|
Fix a limitation in bhyve that would limit the number of virtual machines to
|
2013-09-11 07:11:14 +00:00 |
|
vmm_dev.c
|
Support array-type of stats in bhyve.
|
2013-05-10 02:59:49 +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
|
Fix a bug in decoding an instruction that has an SIB byte as well as an
|
2013-09-17 16:06:07 +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
|
Change emulate_rdmsr() and emulate_wrmsr() to return 0 on sucess and errno on
|
2012-11-28 13:10:18 +00:00 |
|
vmm_lapic.h
|
Revamp the x86 instruction emulation in bhyve.
|
2012-11-28 00:02:17 +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
|
Return 0 for a rdmsr of MSR_IA32_PLATFORM_ID. This
|
2013-09-27 14:55:59 +00:00 |
|
vmm_msr.h
|
|
|
|
vmm_stat.c
|
Support array-type of stats in bhyve.
|
2013-05-10 02:59:49 +00:00 |
|
vmm_stat.h
|
Support array-type of stats in bhyve.
|
2013-05-10 02:59:49 +00:00 |
|
vmm_support.S
|
|
|
|
vmm_util.c
|
|
|
|
vmm_util.h
|
|
|
|
vmm.c
|
Fix a limitation in bhyve that would limit the number of virtual machines to
|
2013-09-11 07:11:14 +00:00 |
|
x86.c
|
Hide TSC-deadline APIC timer support from guests. This mode
|
2013-09-17 17:56:53 +00:00 |
|
x86.h
|
Allow CPUID leaf 0xD to be read as zeroes.
|
2013-09-06 05:16:10 +00:00 |
