>>> On 08.08.17 at 15:32, wrote:
> Anthony PERARD (3):
> x86/vlapic: Introduce vlapic_update_timer
> x86/vlapic: Keep timer running when switching between one-shot and
> periodic mode
> x86/vlapic: Apply change to TDCR right away to the timer
>
> xen/arch/x86/hvm/vlapic.c | 126
>
Hi,
When developing PVH for OVMF, I've used the lapic timer. It turns out that the
way it is used by OVMF did not work with Xen [1]. I tried to find out how
real-hw behave, and write a XTF tests [2]. And this patch series tries to fix
the behavior of the vlapic timer.
The OVMF driver for the APIC
