Marcelo Tosatti ece15babfa KVM: PIT: support mode 4 ...

The in-kernel PIT emulation ignores pending timers if operating under
mode 4, which for example DragonFlyBSD uses (and Plan9 too, apparently).

Mode 4 seems to be similar to one-shot mode, other than the fact that it
starts counting after the next CLK pulse once programmed, while mode 1
starts counting immediately, so add a FIXME to enhance precision.

Fixes sourceforge bug 1952988.

Signed-off-by: Marcelo Tosatti <mtosatti@redhat.com>
Acked-by: Sheng Yang <sheng.yang@intel.com>
Signed-off-by: Avi Kivity <avi@qumranet.com>

2008-05-04 14:44:46 +03:00

..

i8254.c

KVM: PIT: support mode 4

2008-05-04 14:44:46 +03:00

i8254.h

KVM: Add reset support for in kernel PIT

2008-04-27 12:00:23 +03:00

i8259.c

…

irq.c

KVM: hlt emulation should take in-kernel APIC/PIT timers into account

2008-04-27 12:04:11 +03:00

irq.h

KVM: hlt emulation should take in-kernel APIC/PIT timers into account

2008-04-27 12:04:11 +03:00

Kconfig

KVM: Add kvm trace userspace interface

2008-04-27 12:01:22 +03:00

kvm_svm.h

KVM: SVM: allocate the MSR permission map per VCPU

2008-04-27 11:53:21 +03:00

lapic.c

rename div64_64 to div64_u64

2008-05-01 08:03:58 -07:00

lapic.h

…

Makefile

KVM: Add kvm trace userspace interface

2008-04-27 12:01:22 +03:00

mmu.c

KVM: VMX: Enable EPT feature for KVM

2008-05-04 14:44:42 +03:00

mmu.h

KVM: Add kvm_x86_ops get_tdp_level()

2008-05-04 14:44:34 +03:00

paging_tmpl.h

KVM: MMU: Don't assume struct page for x86

2008-04-27 12:01:15 +03:00

svm.c

KVM: Add kvm_x86_ops get_tdp_level()

2008-05-04 14:44:34 +03:00

svm.h

KVM: x86: hardware task switching support

2008-04-27 12:00:39 +03:00

tss.h

KVM: x86: hardware task switching support

2008-04-27 12:00:39 +03:00

vmx.c

KVM: VMX: Enable EPT feature for KVM

2008-05-04 14:44:42 +03:00

vmx.h

KVM: VMX: Enable EPT feature for KVM

2008-05-04 14:44:42 +03:00

x86_emulate.c

KVM: x86 emulator: disable writeback on lmsw

2008-05-04 14:44:45 +03:00

x86.c

KVM: x86: task switch: fix wrong bit setting for the busy flag

2008-05-04 14:44:43 +03:00