[Xen-devel] [PATCH 0/3] Rework vlapic timer to behave more like real-hardware

[Anthony PERARD <anthony.perard@xxxxxxxxxx>]

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.

About the TSC-deadline mode, I've only make changes by reading the Intel
manual, I did not have real-hardward which support it.

Thanks,

[1] https://lists.xenproject.org/archives/html/xen-devel/2016-12/msg00959.html
[2] https://lists.xenproject.org/archives/html/xen-devel/2017-03/msg02533.html

Anthony PERARD (3):
  x86/vlapic: Fix vLAPIC Timer to behave more like real-hw
  x86/vlapic: Handle change of timer Divide Configuration Register
  x86/vlapic: Reset LAPIC Timer only on TSC Deadline mode change

 xen/arch/x86/hvm/vlapic.c | 147 ++++++++++++++++++++++++++++++++++++----------
 1 file changed, 116 insertions(+), 31 deletions(-)

-- 
Anthony PERARD


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
https://lists.xen.org/xen-devel